No more 5.2 in travis or package.

https://jira.mongodb.org/browse/PHP-1219
5.3.x, where x=0-5, are not great. So I picked a (slightly random) later version.