Handle the absence of files with the expected name more gracefully

N.b. this patch doesn't address the hardwired assumptions about CMS-style
filenames
Point the link to igprof to a publicly visible site
Convert HTML tags to lower case
Allow the user to include the .sql3 in the URL
Merge branch 'allow_sql3' of https://github.com/RobertLuptonTheGood/igprof into next