API docs via codox, and github pages branch script

@amalloy As discussed, I can push the gh-pages branch as a PR too if you like, but probably simpler to try out the shell script?