Add tor devel

Latest from https://www.torproject.org/download/download.html.en