Main window: Reduce box-related job priorities. They are not that important

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
DocSearch: Add the document date in the whoosh index (useful for searching)

Signed-off-by: Jerome Flesch <jflesch@gmail.com>