Update MRI to version 0.6-20140512.1

Contains updates made while integrating the MRI core code into
pinkySim.