travis-ci: proper PHP versions

as int, not as string