extracted Timings abstract class to its own file
benchmark: clean up redundant includes and remove ifdefs, making int_lock the default