Make stardoc our documentation tool (#359)
The current documentation was difficult to maintain and not in sync with the inline one.
These changes adjust the setting so we can generate the documentation in markdown format and it will continue to be served on Github pages, this time with an easy way to sync it.
diff --git a/docs/update_docs.sh b/docs/update_docs.sh
new file mode 100755
index 0000000..a5e6503
--- /dev/null
+++ b/docs/update_docs.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+
+pushd ${0%/*}
+bazel build //... && cp bazel-bin/*.md . && chmod 0644 *.md && git add *.md && git commit -m "Regenerate documentation"
+popd
+
