Add preference page to define spring boot installation to use for
running app.groovy files.
Merge branch 'master' of github.com:SpringSource/spring-ide