Added histograms and cleaning.
Merge branch 'master' of https://www.github.com/cwi-swat/rascal
Merge branch 'master' of https://www.github.com/cwi-swat/rascal