Replace Atoum by phpspec