Release version v0.4-alpha of the rmtld3synth tool

v0.4-alpha release features:

• Fix declaration of propositions with C++11 enumerations
• Integration of the new dsl-parser
• Add error tests to dsl-parser by @jantoniobfg in #8
• Add rtm_monitor_time_unit setting
• Improves cpp11 monitor construction and supports new rtmlib2
• Fix z3 store array
• Refactoring of C++11 synthesis with new rtmlib2
• Add simple_monitor HLS example