Create gh-pages branch via GitHub
Update index.html
Create gh-pages branch via GitHub
Added Google Analytics
Skeleton for website
Website text and layout
Download buttons
Added a reference to Kind 1
Merge remote-tracking branch 'origin/gh-pages'
Factored out the BMC step
Implemented subterms extraction