Ustop doc#77

jbschroder wants to merge 2 commits intomasterXBraid/xbraid:masterfrom

ustop_docXBraid/xbraid:ustop_docCopy head branch name to clipboard