Small changes

A few small changes to integrate in your branch of Java Decaf. The most important things are: 

- a shell script for linux people
- learning to use the "pull request" feature of GitHub. 
- edit: also the check added in c233f3e