Push grafo.dot (auto generated)