LSD: transition predicates now conditional.
Merge remote-tracking branch 'upstream/develop' into invGen-conditional-trans
Subsys inv com and rewriting invGen.
Cleaned flags, rewrote lsd, better invgen.
Bug fix: two state would miss invariants because of one state.
build.sh: $* -> "$@"

The $* syntax fails in case the user calls the script with arguments
containing spaces, eg. build.sh --prefix '/home/My Software/'. The "$@"
syntax just does the right thing.
Merge pull request #199 from moy/args

build.sh: $* -> "$@"
One state is now activated by default
Squashed 'ocamlczmq/' changes from 582d025..287c62b

287c62b build.sh: $* -> "$@"

git-subtree-dir: ocamlczmq
git-subtree-split: 287c62bb16f63b21ba7673ec6e1c200cc4b51fc5
Fixed ocamlczmq build script
Corrected the help description of flag bmc_max.
Merge pull request #200 from chsticksel/develop

Fixed ocamlczmq build script
make
Edited flags for invgen.
Merge pull request #201 from AdrienChampion/invGen-conditional-trans

Improved invariant generation
Merge with develop
Bug fix: two-state invgen would not guard with init for top level.
Merge pull request #202 from AdrienChampion/develop

Bug fix: two-state invgen would not guard with init for top level.
Remove some assertions
Merge remote-tracking branch 'upstream/develop' into yices_native_support