Updated the user documentation (now that our CLI work is done). Also a minor fix to our CellMLTools plugin description.