[texmaker-qt4] Update to 4.2