add description of benchmark logfile format. allow different planning library names