Added sphinx extension to ease generation of ticket links.