Tool to enable crowdsourced cleaning of dirty OCR texts