Allow filtering VMs by name in tool.js.