Development environment documentation: need the unicode-math-normalization repo too

[christianp]

We've decided just to remove the dependency on the repo, in order to reduce the number of things you need to set up to do development.

When the unicode mappings change, I'll update them. They're in this repo in runtime/scripts/unicode-mappings.js.