Building web-pages

- Fixed the OMakefile so that it can build
- upload-html now produces examples.tar.gz which an be
    unpacked in place in abella-prover.org
- Renamed hhw to higher-order
- Renamed debruijn_hohh to debruijn_ho to avoid the
    nonstandard "hohh"