manually ping travis-ci to restart the last build