travis: Add PHP lint