Some simple but useful GUI improvements. New features added:

• Mouse navigation: use mouse wheel and dragging with right button to move around.
• Animation export: basic functionality to export multiple images (useful for making animated GIFs from them).

In this version only basic GUI is provided. All control is done by hot keys, read README.md for the list of available hot keys.