Convert Automaton docs

@evancz please let me know if this is roughly what you're looking for, as it's a pretty mechanical translation to the new doc format. I did run Docs.hs on the file and it created a json file successfully. Anything else that I should verify before opening a doc PR?