Contract Automata Library

updated README.md

Signed-off-by: Davide Basile <davidebasile@isti.cnr.it>