Converted all docs to JSON

Built a JSON exporter for the main repository, exported the docs to
JSON, and updated the git repo with it.