Update devel/kdevplatform to version 1.4.1
Update devel/kdevelop-php-docs to version 1.4.1