fix bugs in MixedHeuristic; set MAD as the first choice in MixedHeuristic
add the latest downward binary with MAD heuristic enabled
add the latest downward binary for MacOS X with MAD heuristic enabled
Merge branch 'master' of https://github.com/herry13/sfplanner