Feature: Configure proxy per Robot

Each robot should have a configurable proxy setting available in its edit section. If a proxy is configured for a specific robot, that proxy should override the default proxy during execution. In other words, every run of that robot must use its configured proxy instead of the globally configured one (if any).