A commandline tool to manage multiple webots installation