Move benchmark.h to sel4utils.
Move benchmark.h to sel4utils.

To streamline libsel4 move benchmark.h to this utility project.

winksaville/libsel4utils,seL4/libsel4utils,winksaville/libsel4utils,seL4/libsel4utils