[imp #12] Save paper last modification time

When we compile the paper, save the last modification time if necessary,
this can be retrieved by the client when asking for project information.
Merge pull request #58 from satabin/feature-12-last-compilation-date

[imp #12] Save paper last modification time