Automatically build pull requests

Introducing a script used by Jenkins' Github Pull Request Builder plugin to provide compiled/packaged versions of the java IDE including the proposed code changes.
/cc @cmaglie