Update github pages

Update github pages so that documentation is synced with already committed build documenation (from #15)