new features on autotagger.cgi: disable upload when no file selected, links to html, tex on all success pages