* Option to add page titles to report (<title>s of pages checked, not
just their URLs)
* Option to include header and/or footer HTML to report
* Option to give report itself a title ("Checkbot: report for server
library.duke.edu" is not very useful to client)