Should we avoid loading issue comments?

Property definitions

github $ LoaderConfig :: no_comments
	# Should we avoid loading issue comments?
	fun no_comments: Bool do
		if opt_no_comments.value then return true
		return ini["loader.no_comments"] == "true"
	end
lib/github/loader.nit:170,2--174,4