Spec clarifications for circuit timeouts and related things in path-spec.txt

This branch tries to fix the issues I found while working on Arti's circuit timeout code.

Closes #61 (closed).

Closes #48 (closed).

Please ignore all the changes in this branch made before 27 August: Apparently the "main" branch on this repository is out-of-date.