Update MINA library to latest version

Description

Update to MINA 1.1.7. It includes a fix for compression that might be what we need.

Environment

None
Fixed

Assignee

Gaston Dombiak

Reporter

Gaston Dombiak