Remove Github specific HTML stuff

This can easily be created on the gh-pages branch, and doesn't need to
be part of the build system.
Clear old Flycheck state when enabling the mode
Hide the error buffer when clearing [#94]