Update README.md

Domino is a system implementation of SUCC, and is open source under GPL license.