Merge pull request #47 from avsm/master

Adapt the Stack interfaces to the v1.1.1 mirage-types interface