[git] ignore ocamlbuild droppings
[make] generalise local page generation, update for mirari
[git] ignore local build droppings
[git] ignore mirari droppings
[slides] first cut at foci13 slides
[slides] full pass over foci, with formatting