Release 1.3

- Fixed anti-alias usage:
  - Anti-aliasing is no longer required for non-native resolution GIFs
  - The anti-alias-off option now became anti-alias,
    so the functionality is inverted, too
- Fix: Image information printing was somewhat disordered