Add support for LinuxMint 15 to 17

Maps LinuxMint distribution names to Ubuntu