Travis: Changed to default PHP 5.3