Replace (legacy) Gif Encoder framework with a better one

The current GIF encoder has various problems. One of them being distortion on the colour map when a GIF recording reaches Mb size. Replace with the Java library from github: https://github.com/rtyley/animated-gif-lib-for-java