Do not test in Travis CI on PHP 5.3