travis: use PHP 5.3.3 instead of 5.3 because of https://github.com/CHH/phpenv/issues/23