fix grammar and capitalization in title
Split doc targets
Update HTML docs
Update tutorial pdfs
Update dev-manual pdf
Merge branch 'master' of github.com:OCamlPro/opam