Jasmin use of Java Cup

The source code for JavaCup, as it is used in the Jasmin distribution, has been moved to ../src/java_cup.