Add the -u/--unfold option.

Corresponding to the $unfold argument of the Hoa\Core\Protocol::resolve
method.
[auto] Merge from Core

    • #b5c4302 — Add the -u/--unfold option. (Ivan Enderlin, 2013-04-16)

---

Merge remote branch 'library-core/master'