Do not require deepdive to run in DEEPDIVE_HOME

- Developers can specify environment variable DEEPDIVE_HOME and run
deepdive anywhere. If not specified, deepdive will treat current
directory to be DEEPDIVE_HOME (which is backward compatible)
what about System.getProperty("user.dir") instead?