Minuto On: após acordo, professores de universidades e instituições federais encerram greve