Rename @forexample to @description.

The @forexample has already a semantics defined in JML. Our @forexample
clause has a complete different semantics. In order to avoid confusion,
we rename it.