add a travis config file to have automatic CI