Doc indexation: Temporary optim: Instead of looking at the modification time of all the files in all the documents, just look at their directory modification time

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Merge branch 'master' of github.com:jflesch/paperwork