Change command for GNOME proxy settings

The mode should be changed to manual, in case it is set to none.
Settings for https should also be changed.
Add support for Linux Mint

Though Linux Mint is based of Ubuntu, the lsb_release -si gives a
different output.
Merge pull request #1 from geremih/fix-linux-mint

Linux Mint support