add fast-downward formula

This adds a brew formula for the [Fast-Downward](http://www.fast-downward.org) planner.
If would be good to try and work with upstream to remove some of this GNU dependencies.