set HTTP PROXY for Jenkins runtime