leonidas: Automated Attack Simulation in the Cloud