Add 0.3.0-0.4.0 migration script.

Did not know it was not pushed because a line in `.gitignore` matched it. So fix that, too.