Merge pull request #181 from AdrienChampion/feature_timeout-tag

Added easily greppable tags for timeout, error, and interruption.
Merge pull request #182 from AdrienChampion/invGen-no-explicit

Invariant generation, one state and two state
Added niceness adjustment for invariant generation
Merge pull request #183 from chsticksel/inv-gen

Added niceness adjustment for invariant generation
Merge remote-tracking branch 'upstream/develop' into invGen-no-explicit
More explicit no_trans_subterms option.
Fixed conflicts in flags.
Backward unrolling, changed many thing. fixes #184