Rename kde-base/*-9999:4 to 4.9999.

This lets us handle the case where a package has both KDE 4 and 5 versions
served out of master of different repositories.