Moved benchmark to a subfolder in bin. Added bench_extract tool to make it easy to extract times/state-counts/trans-counts/constants from bench [averaged] files.