Updated readme.
Updated readme.

Description of binding constraints.
Added a section on the search procedure in FAPE including strategies and
and handling of subtasks/tasks conditions.

athy/fape,athy/fape,athy/fape,athy/fape