Adding a test for extracting as MIF format

Note: this format is broken, so the test is currently marked as ignored.