Remove the HTML docs from the repo
Merge pull request #966 from samoht/master

Remove the HTML docs from the repo
Cleaning up outdated opam archives in repo dir too
Would the fix to #945 be as simple as this ?
Merge pull request #968 from AltGr/fix-945-maybe

Cleaning up outdated opam archives in repo dir too
Fix cmdliner dependency.

Update the dependency to GitHub since the current source no longer
exists.
Merge pull request #971 from cmeiklejohn/csm-resolve-cmdliner

Fix cmdliner dependency.
Fix archives that have no base extension: treat them as tar as 1.0 did

Closes #972
Merge pull request #975 from avsm/repair-blank-extension-archives

Fix archives that have no base extension: treat them as tar as 1.0 did
Update CHANGES
Bump version number of trunk
Revert "Fix cmdliner dependency."

This reverts commit 0230460d58504d204b4dbc801673034d2ca684e8.
Clean more files
Fix and improve the travis scripts