Merge pull request #710 from AltGr/fix-705

Finding packages case-insensitively for common commands
Updated generated man-pages for 1.1.0
Updated tutorial pdfs to latest version
Documented post-messages
Added test for post-messages
Closes #662
Added tests for #692
Merge pull request #712 from AltGr/update-doc

Update doc
Merge pull request #713 from AltGr/post-messages-test-doc

Post messages test doc
Merge pull request #714 from AltGr/tests-692

Added tests for #692
Keep going and report error when uninstall script fails
closes #689
Merge pull request #715 from AltGr/fix-689

Keep going and report error when uninstall script fails
Fixed error message
(this could be misleading when a package has been removed upstream)
Fixed man field in .install file writing
Closes 698
Merge pull request #717 from AltGr/fix-698

Fix 698
Pinned repositories with multiple authors don't have their opam metadata properly reserialized
Merge pull request #718 from dsheets/hostage-crisis

Pinned repositories with multiple authors
Properly remove switch when 'opam switch reinstall' failed
Also, forbidding to reinstall the current switch, because that may be a problem in case it fails
Merge pull request #720 from AltGr/fix-703

Properly remove switch when 'opam switch reinstall' failed