Cinnamon 1.4 brings new tools to the Linux Mint desktop