Moved the tools to misc-tools.