Add coverage checkbox for test-agent web interface