OPENTREE_USER settable; remove JAVA_HOME

The implementation of OPENTREE_USER isn't complete but the changes I've made for this are innocuous so should be OK to merge. There are some other good changes in here such as elimination of JAVA_HOME and the 'activate' script.