added upper bound for lens, since 4.4 splits off aeson-lens
remove obsolete IDEs

Instead use https://github.com/gsdlab/clafer-tools-st3
remove IDEs from .cabal
ClaferToolsST
VIM, Paulius
removed warnings
merged from master, resolved conflicts
removed overlapped pattern
move regression testing to Alloy4.2 by default
fixed Choco for `not in` and updated regression EDM_Intro
updated Alloy regressions for Alloy4.2
merged from develop, resolved conflicts