Bump version to 0.7.1.3 and update changelog.