Linux Mint 15 32Bit Cinnamon Linux Operating System review