[fix #23] Compile paper only if modified

When compiling a paper, we first check its last modification date set by the
synchronization server. If the document was not modified, there is no need to
re-compile it.

Closes #23