README: describe how to run it