Default database hostname

Property definitions

github $ LoaderConfig :: default_db_name
	# Default database hostname
	var default_db_name = "github_loader"
lib/github/loader.nit:34,2--35,38