Allowing OXALIS_HOME to be set using JNDI. Minor additions to gitignore.