Add time element to pubdate

Also tweak travis publish script to run make in the gh-pages directory.