configure travis correctly and configure phpspec formatter