Add a .dir-locals.el to theories subdirectories

This tells emacs to default to using the local hoqtop for editing the
files in theories.  There might be a fancier way to only need one
.dir-locals.el, which uses paths relative to it, or uses absolute paths,
but I don't know enough elisp to or emacs to do it.