Update dev version numbers to 4.0-SNAPSHOT