add fast-downward formula

This adds a brew formula for the [Fast-Downward](http://www.fast-downward.org) planner.
This isn't needed.