Option --full-contract

Property definitions

nitc $ ToolContext :: opt_full_contract
	# Option --full-contract
	var opt_full_contract = new OptionBool("Enable all contracts usage", "--full-contract")
src/toolcontext.nit:411,2--412,88