Switched to phpspec for travis build