add a cmake option WITH_TOOLS