Remove 4 tools from tool_conf.xml.main that were removed in migration 9.
Remove broken and/or obsolete tools.
Merge tool removal from next-stable.
Merge heads on next-stable
Merge heads in default.
Merge merge from next-stable to default