Try travis with PHP 5.5