core-deps-3.14: update mir version to 0.4.0

...and drop a couple of patches.