exclude com.google.gerrit.extensions from coverage

- these files are just a plain copy of gerrit source