Converted old documentation to GitHub pages