Update travis settings in order to also include PHP 5.4