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)
Remove if not used.