Update HOL URL in README.