Filtrar directorios .git #54
Description
El corrector felizmente descomprime subdirectorios .git en las entregas, lo cual confunde a alu_repos.py. (El best fix es, a la larga, mover alu_repos.py al sistema de entregas, y también validar allí los zips, por rapidez en el feedback.)