RenderDoc API integration #171
Description
RenderDoc is an useful utility when debugging graphics application. However, when debugging headless, pure computational applications, it requires user to manually mark a "frame" via RenderDoc's in application API (renderdoc_app.h).
RenderDoc's API seems to be fairly simple. However it has some special loading mechanism which cannot be modeled by our current systeme. Also this gives some intel to sennaar project: we may need to explicitly mark static vs dynamic.