v1.1

Fix the issue that the order of commits in the original repository can make the resulting repository incompatible.

v1.0

Use the scripts in this release to clean up your Fast Downward repository (which still uses Mercurial) and to convert it to Git.