added upper bound for lens, since 4.4 splits off aeson-lens
upper bound on lens < 4.4
prevent double compilation of the library when building the executable
moved from test-framework to tasty
support for reals
added handling of NoCompilerResult: no Alloy output with reals
layout resolver to look up token codes

no need to manually update the token map function
regressions for reals.cfr test case
updated regression for noAndNot.cfr
layout resolver to look up token codes

no need to manually update the token map function
Merge remote-tracking branch 'origin/reals' into develop
use latest Alloy4.2 by default

.als = Alloy4.2
.als41 = Alloy4.1
adopt HP2014.2.0.0 64bit on windows, MSYS2, and new GLPK4.55
revert back to 32bit on windows
.ghci
fix warnings, make Monads also Applicatives
remove obsolete IDEs

Instead use https://github.com/gsdlab/clafer-tools-st3
remove IDEs from .cabal
ClaferToolsST
VIM, Paulius