A puppet module for managing the NBN Gateway Server infrastructure