You can use the commandline tool
gifsicle to optimise gifs. Just running a gif into it with the -O10 flag can reduce the file size a significant amount. It can also be used to reduce the colours or change the gif's dimensions, which can help a lot to reduce the file size, too.