shell: Add doxygen

Closes #577.