Update version numbers for 5.0.0

This should be the last PR merged before 5.0.0.