Corretor automático para os exercícios da linguagem Portugol 2.0