Update version to 4.0.0.

This makes it easier to distinguish the builds using "develop" branch from the
one based on the stable 3.2 branch.