Remove HTML docs
Cleaning up outdated opam archives in repo dir too
Would the fix to #945 be as simple as this ?
Fix archives that have no base extension: treat them as tar as 1.0 did

Closes #972
Merge pull request #981 from AltGr/1.1.0

1.1.0
Updated CHANGES
Updated man-pages
Merge pull request #982 from AltGr/1.1.0

1.1.0
Merge branch '1.1'

Conflicts:
	CHANGES
Merge pull request #993 from AltGr/merge-1.1

Merging the man-pages and CHANGES from 1.1
Simplify and fix the pretty-printing of OPAM files.

Initial patches from @avsm
Merge branch 'master' of github.com:ocaml/opam
More simplifications to the pretty-printing of OPAM files
Merge pull request #998 from samoht/master

Fix #997
Fix pretty-printing of OPAM files

Continue #998
Merge pull request #999 from samoht/master

Fix pretty-printing of OPAM files