More sys.platforms.

Starting from Python 3.3, Linux is just 'linux'. 'linux-armv71' is for
Android's sake.
Added AmigaOS support.
Document AmigaOS support.
Version bump.

Not putting this on PyPI yet because I'm hoping to add RISC OS support to
1.4 as well, if my Raspberry Pi arrives today.