Gave the rascal shell a link
Merge branch 'gh-pages' of github.com:cwi-swat/rascal-website into gh-pages