Remove outdated HTML pages.
Add a script for building documentation.