Added in port of tornado webs secure cookie verification code