Have Travis-CI lint additional PHP versions