What's the proper way to specify an HTTP proxy in jmaki?