travis: run tests also with PHP 5.5