Brazil hid the data for Covid-19. Then volunteer developers got to work