[ cleanup ] gh-pages does not need source files
[ cleanup ] moving html pages to the repo's root
Merge branch 'gh-pages' of github.com:gallais/agda-stdlib into gh-pages
[ cleanup ] moving new html pages out of html/