add mirage2 to the travis build to improve coverage