Changes since the last dev release:
- fixed opening disk images inside zip archives (#61)
- fixed pasting of large BASIC listings
- added support for full size GIF recording (#59)
- added 50/25/16.7/12.5 framerates for GIF recording
- moved end-user instructions into Manual.md
