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