Generate an XML coverage report for Jenkins

Change-Id: Ib8d256b9d7b0fd76c16330c7f0555f0b125c1537
Merge "Generate an XML coverage report for Jenkins"