Option --set-dummy-tool

Property definitions

	# Option --set-dummy-tool
	var opt_set_dummy_tool = new OptionBool("Set toolname and version to DUMMY. Useful for testing", "--set-dummy-tool")

src/toolcontext.nit:387,2--388,117