Done with upgrading our (third-party) binaries, now that Qt 5.3.1 has been released (closes #380) .

The issue with Qt 5.3.1 on Linux has been filed (see
https://bugreports.qt-project.org/browse/QTBUG-39859).