Replace ${file_name} with the current file name.

Proposed fix for issue #1 by passing Document#file.getName() to the header. The header
then replaces every occurence of $[file_name} with the given file name.
This is a workaround for the fact that the header is otherwise
constructed before a certain file is opened.