Add highstate to README.