small change in Readme
git-svn-id: https://svn.epfl.ch/svn/ptools@4 521d0c23-07be-48d7-a102-bc8af37592f5