Document or remove the --digests option to tor

If nobody's using it, we should throw it out. If it's useful, we should document it.