Merged #49 "Split pages servlet into a raw branch servlet and a gh-pages servlet"