Changed Travis to use phpspec