A useful example for reverse_url method in TornadoWeb framework.