MongoDb host name

Property definitions

github $ LoaderConfig :: opt_db_host
	# MongoDb host name
	var opt_db_host = new OptionString("MongoDb host", "--db-host")
lib/github/loader.nit:37,2--38,64