Bumped version to 5.1.0

Since these changes aren't bugfixes but just incremental improvements,
they warrant a "minor" bump :)