htmlreport: print filename in file page heading.

The name of the currently observed file was not printed in its page, leaving quite some confusion sometimes.
This patch fixes it.
![htmlreport](https://cloud.githubusercontent.com/assets/476013/3140095/fcb8b8cc-e905-11e3-8fab-9cb6a157fb10.png)