Make lox-distributor listening port configurable

Right now we have the lox distributor hard-coded to listen on port 8001. We should make this configurable.