0.5

• Added tre2ta standalone
  • A translator of a timed regular expression to a timed automaton
  • The translation is the same as the one used in MONAA
• By default, unit_test is not built anymore
  • You have to explicitly specify it e.g., make unit_test