KDE 4.0 has been released