mips: update core
python: update Mips constants following the change in Mips' core
java: update Mips constants following the change in Mips' core