module-set kdevelop-kf5: remove kdevplatform
kdevplatform has been merge into the kdevelop repo for >= 5.2