Main window: When OCR is redone, the page currently displayed must be refreshed

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Backend: Img doc: ImgDoc.get_docfilehash() must return an hash, even on empty documents

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