Bump version to 5.0.1.
Mostly so we don't accidentally release another 5.0.0