MongoDB DB used for data persistence

Property definitions

github $ LoaderConfig :: db_name
	# MongoDB DB used for data persistence
	fun db_name: String do
		return opt_db_name.value or else ini["db.name"] or else default_db_name
	end
lib/github/loader.nit:94,2--97,4