README.md: Wrap some (not all) long lines.

Signed-off-by: Rogério Brito <rbrito@ime.usp.br>
README.md: Fix markup and some of the text.

Signed-off-by: Rogério Brito <rbrito@ime.usp.br>