Update version (0.7.1 was just released)