fix grammar and capitalization in title
dev-manual.tex: fix 2 spelling errors
dev-manual.tex: minor grammar fixes
dev-manual.tex: replace misuses of `by` with `with`
dev-manual: fix grammar error
Merge pull request #688 from agarwal/typos

fix various small typos and grammar errors
Merge pull request #687 from agarwal/patch-1

fix grammar and capitalization in title
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
Small tweaks to the new caching of OPAM files for pinned packages.

This starts to become useful.
Fix timestamps in debug messages
Speed-up rmdir
Speed-up dowload of dev packages from HTTP repos
Tentative fix for #680

I've tested it against the ocsigen repo and it seems to work. Reviews for Darcs experts are welcome.
Fix display of update messages for local repositories
Turn OpamRepository into a OpamMisc.ABSTRACT type (not very useful as is, but keeping consistency is good)