use latest Alloy4.2 by default

.als = Alloy4.2
.als41 = Alloy4.1
Merge remote-tracking branch 'origin/develop' into modules