Small fixes in mips-run

Now gets MARS version number from MARS, so it still works when it
changes.