Fix version numbers to be 5.1.0-SNAPSHOT instead of 5.0.0-SNAPSHOT

The develop branch is 5.1.0-SNAPSHOT; the dev_5_0 branch is 5.0.0-SNAPSHOT.