[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.