Patch for supporting [From Xxx Require Yyy Zzz.]

When using libraries I find it convenient (and future proof) to use fully qualified paths in many places. It would be nice to have a convenient short-hand for this so that you can:

From Xxx Require Yyy Zzz.

instead of having to type:

Require Xxx.Yyy Xxx.Zzz.

Signed-off-by: Pierre Boutillier <pierre.boutillier@ens-lyon.org>