Short project name used in `namespace` and configuration files

Property definitions

	# Short project name used in `namespace` and configuration files
	var short_name: String = mainmodule.name.replace("-", "_") is lazy

src/platform/app_annotations.nit:29,2--30,67