tools to automatically update github pages

[cberzan]

@lileicc

Docs now live at http://bayesianlogic.github.io/.

To update the docs, you can use "sbt/sbt ghpages".

Note that the bayesianlogic.github.io repo has to be cloned in the same parent dir as the blog repo, e.g. ~/blog and ~/bayesianlogic.github.io.

[lileicc]

Cool!! LGTM

[lileicc]

On a second though, in the future, it might be better to put the generation script in bayesianlogic.github.io. For example, it can setup pull remote to be from blog, and push remote to be bayesianlogic.github.io. and only pushes the generated files. But it is fine now.