Clean up and improve the docs

Add bob.devtools
Fix mistakes in the docs
Sort the list of packages as they are supposed to be sorted
Mention bob.paper packages as examples of Bob