Update version files and ChangeLog for 0.7.1