Travis: test also against PHP 5.5