expose Redis host and port as global Jenkins settings