Get file title

[Paul Christophe]

name of file would be filename, and the title of the file (for the left sidebar) will come from the file's header

if there's not one, then set the title to filename