hbench: add fibril_mutex benchmark