Make example 35 more robust to parallel make and slow disk
Make example 35 more robust to parallel make and slow disk

I have no idea why this one seems to always be the one that sometimes
emits a timeout of 9 rather than 3.

JasonGross/coq-tools,JasonGross/coq-tools