wrote ciao_suite. Needs testing to figure out why new version of test doesn't print anything. Also updated README.