kdevelop-php-docs: Version bump to 1.5.1.