Bump version and update HISTORY