Sync galileu fork

[barbosamaatheus]

Esse PR sincroniza as mudanças do fork do Galileu com a branch principal, trazendo melhorias importantes no análise de fluxo de dados estático.

Melhorias principais na análise:

• Suporte a campos estáticos (static fields) - adicionados loadStaticFieldRule e storeStaticFieldRule
• Tracking de execução - agora monitora e armazena o tempo de execução de cada pacote
• Melhor tratamento de null pointers em operações com units
• Refatoração do método traverse para melhor separação de responsabilidades

Atualizações de configuração:

• Atualizada a versão do projeto de 0.5.11 para 0.5.12
• Atualizado o SBT de 1.2.8 para 1.11.3
• Adicionados novos algoritmos de análise: RTA e VTA ao lado do CHA e SPARK existentes