Use Ciao for continuous integration.