Fix dangling links in documentation.

Some links were already broken, while others are likely to become broken
soon.

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