Renaming and code reorganization.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git

Conflicts:
	src/org/rascalmpl/library/experiments/CoreRascal/RVM/Examples/Fac.java
	src/org/rascalmpl/library/experiments/CoreRascal/RVM/Examples/Test.java
	src/org/rascalmpl/library/experiments/CoreRascal/RVM/RVM.java