Travis: add PHP 5.3 as well