Fix install instructions in README, and push version number.