Updating to MadKit 5.0.3.1

Change-Id: Id39cdeda83fffff002d2a0ac9a1ff68d30753071