htmlreport: print filename in file page heading.
Merge pull request #328 from matthiaskrgr/htmlreport

htmlreport: print filename in file page heading.