Improve documentation for condor users
This MR makes some improvements to the online documentation, most notably adding some new sections dedicated to HTCondor token handling.
This MR makes some improvements to the online documentation, most notably adding some new sections dedicated to HTCondor token handling.