Changelog wrt version 1.0

* New features
- Added parameter synthesis command (hycomp_synth_param)
- Added BMC ltl verification (hycomp_check_ltl_bmc)
- Added relational abstraction (option -z of hycomp_untime_network)

* Bugfixes
- Fixed bug in the grounded encoding of shallow synchronization (thanks to Dingbao Xie for reporting it)
- Fixed issue with the order of properties
- Fixed bug when using fixed alternation of discrete and continuous steps in BMC
- Fixed detection of multiple defined DEFINES
- Fixed a bug in the identification of system dynamics

