upgrade tor at polyanthum

currently polyanthum has tor 0.4.7.16. AFAIK we use our debian repository in that machine to install it. Could we get it upgraded to the latest version?

Would be nice if that got upgraded automatically with unattended-upgrades if that is something you do. Otherwise I'll do my best to poke you once in a while to upgrade it.