removed standard library from default path (clients have to choose what
the std library is now)
Merge branch 'master' of git@github.com:cwi-swat/rascal.git