Fixed diffpatch hints

Fixed Issue 812: git bash doesn't include some tools needed for the diff-patch training mission