Add ROBOT_TIMEOUT to documentation

Also
* remove VULN_THRESHLD from docs

Note: pandoc was a different version, so the roff output has different
encodings for different special chars.

Author: drwetter