Add LinuxMint to supported list for apt::ppa

Mint has its own version of add-apt-repository in /usr/local/bin
that has to be called instead of the /usr/bin version.