Automating the Discovery of Censorship Evasion Strategies