Also augment passing_coqtop_args with paths
Also augment passing_coqtop_args with paths

This should fix some issues that cropped up in
https://github.com/coq/coq/pull/16190, oops

JasonGross/coq-tools,JasonGross/coq-tools