Gartoon-Redux icon theme

This is a massively improved variant of the well-known Gartoon theme, used by e.g. Edubuntu. Some work may also be based on the Gnutoon/Ubuntoon variant by reassuringlyoffensive.