feature request: retain document titles

[juxd]

the goal is so print banners would print out the document titles, since they clip at SOCPrint_ on the printers and this isn't very useful information.

for most people, copying into the home directory with the original titles shouldn't be a problem - they probably won't have documents with same names but different contents. probably.

an alternative approach would be to create a ~/.socprints directory in their sunfire home directories where files are written to for printing. and make it clear in the docs that they shouldn't mess with this directory.

i guess this is lower priority than our ergonomics refactor.