* gnu/packages/kde.scm (kdevelop, kdevplatform): Upgrade to 5.0.4. (kdevplatform)[source]: Use kde mirror instead of github. Signed-off-by: Marius Bakke <mbakke@fastmail.com>