Issue #41 : PDF document export

* Now allows exporting inserted pdf documents
(can only export by copying files stored as documents)