BMC and IND for multiproperties check
Merge pull request #69 from chsticksel/master

Added BMC as default engine
Merge branch 'master' of https://github.com/PaulMeng/kind2.git
Merge remote-tracking branch 'origin/master'
adapted induction to the new parser
Merge pull request #70 from PaulMeng/master

Adapted induction to the new parser
Merge remote-tracking branch 'upstream/master'
Small fixes in Lustre translation
Started compression for k-induction