Fix Travis PHP versions

Travis only works for versions >= 5.3