documentation.html: split content into other files and remove

Closes #16.