watchman: 2.5.1 - file watching service.

Added patch provided by watchman maintainers to fix broken make command. See URL
provided in the change set.