Merge "Change coverage dump to specify the output file instead of directory." am: f0723588de am: a1e96c644e am: 59fc33981d am: 6fb7075196
am: 2df0a7def2

Change-Id: I3dd67059490fa73d180b70e208c18596e2433bd5