Server side hook to modify the export file name

obviously modifying the file extension would be wreckless.

This hook is used in the set title plugin, on export users get the file name that is from their title and not the pad id. 

This hook could also be useful for obfuscating pad ids on export.

cc @marcelklehr to please review.