10 things you need to know about Linux Mint 17