Archiving script now uses LZMA compression.

Requires Python 3.3+. A deflated zip is ~ 26 MB, an LZMA zip is ~ 20 MB,
and a 7-zip is ~ 18 MB, so it's much better now, and the archive can be
opened without having to have 7-zip installed (as if it's a bad
thing...).