Tools: Add IP mapping for tools.wmflabs.org

Bug: 54052
Change-Id: Idf8f27ebc22fe699fbfa073fc0afe977264ef7e7
Merge "Tools: Add IP mapping for tools.wmflabs.org" into production