simple tool to benchmark timing of a binary