Fixes #43, [documentation] We need a top-level documentation page
documentation.html, uses same style as index.html