Update devel/kdevelop (and related) to latest 5.3.1 release.

Changelog: https://www.kdevelop.org/news/kdevelop-531-released

A handful of bugfixes, but most importantly, drop the cvs plugin.
This didn't work (anymore) in 5.3.0, now entirely removed.