Slight update to the developer documentation, now that Qt 5.3.0 and Qt Creator 3.1.1 have been released [ci skip].