Use default paths for HeaderDoc.

HeaderDoc in Yosemite seems to have all the AppleScript-related
bugs fixed.