opt --no-time

Property definitions

	# opt --no-time
	var opt_no_time = new OptionBool("Disable time information in XML", "--no-time")

src/testing/testing_base.nit:34,2--35,81