Update tools.json

add OpenGrok and Hayoo