Bumped v0.7.1. Updated HISTORY.md.