Governo avalia ter economizado R$380 milhões com software livre