some cleanup in options handling.
pass the options record to the Java backend
Merge branch 'master' of github.com:BNFC/bnfc