Continuous Static Analysis using Pronto