Features and fixes for release 0.0.9

[alegnani]

• added --disable-prelude flag to omit the tranpilation prelude from the output
• more specific compound shapes can be used as types in annotations instead of IArray e.g.

  /@ predicate pred(in: {1, 1}) @/

• addition of true and false literals
• constant evaluation of arithmetic expressions. enables the use of constant bitwise operations like 1 << 24 without the performance penalty
• changed annotation syntax from /*@ ... @*/ to /@ ... @/, enabling the use of C preprocessor macros in annotations (fixes #49)
• support for hex literals 0x42
• automatic unfolding/folding of predicates of method calls (fixes #46)
• basic shared memory model implemented (only const addresses work) (#8)
• added state reference