A frontend for generating Cisco configurations