tools to automatically update github pages
Merge pull request #246 from BayesianLogic/dev-doc

tools to automatically update github pages