Remove mips-api.spec.

This file was used for the MIPS model used in HOL4, which is single-core and MMU free.  This simpler model is no longer being maintained in this repository.