Write correctly TravisCI config for Pronto