Configuration options

Compiler and runtime system can be controlled with several configuration settings.