Do not depend directly on the mirage-types signature to help
break a circular dependency.  The `portable` test still exists
to check against when changing anything.
travis: don't run the portable test
Merge pull request #6 from avsm/master

Do not depend directly on the mirage-types signature to help