An API for getting a registry of tools

Change-Id: Ie7a3a1b1556ca4b9c0f4e6a04713bd9cc3fd28d9