[web] kill https-deny-anonymous option (closes #5193687) It doesn't make much sense to prevent people from using https.

a = 4;