FIX: formatting of the README file (the ccbench description)