add phpspec/prophecy