update README.md
update README.md

Signed-off-by: Lucas Cordeiro <a0dc02a034ee7d9b75ef05949335000956f3fb65@cs.ox.ac.uk>

hussamaibrahim/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,hussamaibrahim/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier