Merge branch 'release/2.4.26' into develop
new snapshot version
get minor mode for ltl / ctl parsing through prepl
bump version number for release
Merge branch 'release/2.4.27'
Merge branch 'master' of github.com:bendisposto/probparsers