add a benchmark for gdr_pin_buffer

it is interesting to benchmark the time it takes to create GPU device memory mappings, depending on the size of the device memory buffer, the GPU architecture, the GPU driver, the host platform, etc...