Update emulators/vmips from 1.2.2 -> 1.3. Only the distinfo and version numbers need changing in this update. PR: ports/75734 Submitted by: Brian R. Gaeke <brg@dgate.ORG>