Usability refactoring: Benchmarks and repository paths can now be different, and command line options are now available for manual runs.