https://mamchenkov.net/wordpress/2015/02/03/mkcast-tool-for-creating-gif-screencasts-of-a-terminal/