Adding Linux mint as supported distro

Linux mint is a derivative Distro based on Ubuntu. Linux Mint 17 is based on Ubuntu 14.04.

http://www.linuxmint.com/release.php?id=22