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.
[auto] Merge from Praspel

    • #d768661 — Rename @forexample to @description. (Ivan Enderlin, 2013-04-16)

---

Merge remote branch 'library-praspel/master'