The burkini, an anti-Islamist compromise