Version 1.0
This release is version 1.0.
Note: v1.0 is not compatible with previous versions. If you started a reduction
with a previous version, you must restart from scratch to use v1.0; the version pervious to v1.0 is still
available on the "pre1.0" branch.