tools: kointegrate: use a shorter git commit hash

(integrated from trunk branch change 300a258 by Todd Whiteman <toddw@activestate.com>)