Migrate to OpenSTV 1.7 repo at https://github.com/cusu/openstv