Dave Borowitz 6f58dbe334 Add PUSH_CERTIFICATES option to output push certs in REST API
To do this, we need to teach PushCertificateChecker to include in its
result type the key that it looked up from the store, in addition to
the results of the certificate check. This in turn needs to be
converted to the REST API return type in the GpgApiAdapter.

Change-Id: Ic83e3d4b66126629de6e32470089fa96173af5a9
2015-10-09 10:04:18 -04:00
..
2015-10-09 10:04:18 -04:00