more markdown in generated docs

[Chuck McCallum]

    Ok(format!(
-        "[{name} in Rust documentation.]({proof_uri}/opendp/{module}/fn.{name}.html)"
+        "[`{name}` in Rust documentation.]({proof_uri}/opendp/{module}/fn.{name}.html)"
    ))

There are notebooks that show this output that should also be updated.