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.