Accepted by CRAN

Minor changes

• mimsy is now CRAN official
• README.md updated with full workflow example
• package logo updated