Monsters in the Middleboxes: Building Tools for Detecting HTTPS Interception