mios v1.5.1 Release Notes

    • 🛠 fix a bug in simplifyDB
    • ⚡️ revise VARUPDATEACTIVITY (#52)
    • revise blockers (#53)
    • ♻️ refactor mios.cabal