added ciao-install to the repo