introduce linear interpretations
introduce additional short names for options, and option to choose allocator
Merge branch 'optional_linear' of https://github.com/jwaldmann/co4

Conflicts:
	tc/CO4/Test/TermComp2014/Allocators.hs
	tc/CO4/Test/TermComp2014/Main.hs
	tc/CO4/Test/TermComp2014/Standalone.hs