Make SKS key server port configurable