Tools: support comma-separated list of tools #1883