1.0.1 "service pack" release

We ran into a couple of irritating bugs post-release. Therefore, to ease judging, we're releasing a "service pack" version. Changes are as follows:
This represents a total of about 20 minutes of work past the deadline, but the crash is problematic enough that we've decided it's worth doing. The 1.0.0 versions are (which were finished entirely before the deadline) still there if you want to judge those instead.