Documentation refresh

Including:
- link to the html dev-manual
- promote opam-publish rather than the more complex instructions
- document workaround for OPAM 1.1 in the FAQ
- add the 'tricks' page