added github-pages, sitemap generator, and other misc changes#29

de-soot merged 17 commits intogh-pagesde-soot/de-soot.github.io:gh-pagesfrom

mainde-soot/de-soot.github.io:mainCopy head branch name to clipboard