Linux Mint 17 KDE released!