Fixes #375.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
trying to get m3 into docs
Merge branch 'master' of github.com:cwi-swat/rascal
Fix for getPaths not declared, and createAstsFromDirectory returning a
null set.
Merge branch 'master' of git@github.com:cwi-swat/rascal.git
regenerated
Merge branch 'master' of github.com:cwi-swat/rascal
regenerated
Fixes #376.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Working on Concrete syntax
Partial review of Library.mu

Applied a number of optimizations in ENUMs.

Added comments and done some formatting.
Commit to trigger rebuilt.
added initial version of asts for kodkod
Merge branch 'master' of github.com:cwi-swat/rascal
Optimized List pattern matching

All length heuristics used in the interpreter are now also available in
compile code. On micro-benchmarks compiled list matching is 5-7 times
faster than the interpreted version.
merged upstream