Take care of Homebrew paths within Homebrew

Reverts to previous behavior - install into /opt/nethack,
/opt/nethack/var, and so on.  This means that the repo
can be used by normal users; Homebrew-specific settings
will just go in the formula.
Rename patch