MongoDb database name

Property definitions

github $ LoaderConfig :: opt_db_name=
	# MongoDb database name
	var opt_db_name = new OptionString("MongoDb database name", "--db-name")
lib/github/loader.nit:40,2--41,73