We had a suggestion that the dev docs would be easier to read if there was a table of contents. Rather than making one by hand I thought using mdbook would be better.
