Update versions post-release 0.7.1.