Add small README for the project.

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