Update to KDevelop 4.7