Fixed left-over of merge.
Removed no longer needed Boolean functions
Sanitized Boolean functions
Removed unused DUP instruction.
Further testing and cleanup for full backtracking Boolean operators.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git

Conflicts:
	src/org/rascalmpl/library/experiments/Compiler/muRascal2RVM/mu2rvm.rsc