After waiting for months for his residence permit, Lucas Resende developed a tool to monitor the agency's operations. The information relies on data entered by immigrants.