Enable PHP short tags in Travis config.