Travis: test in PHP 5.5