All unused SuperMario-style "vectors" point BADTRAP instead of
UNIMPLEMENTED.
With this patch, the build works, and the 3 MB RomMondo is byte-correct
except for the date in the host DeclData. This is really cool!
The automated changes to the output of git-format-patch looked okay, but
they were swallowing up binary changes. Now they are more conservative
and hopefully more robust. As an exception, hashes are still removed for
non-binary diffs.
For debugging, `scripts/flatten` now has a `--raw` option to skip this
post-processing step.
Soon I should try to stabilise the patch format.
