also allow https://www.DOMAIN

i.e. https://www.bitmask.net should get redirected to https://bitmask.net

(from redmine: created on 2013-09-24, blocks #8514)