Three new features coming in Linux Mint 15