Enhance URL slugs

[noyainrain]

Make use of String.normalize() for a better mapping from Unicode to ASCII characters, once it is available in Firefox for Android (see these issues).

Therefor, start micro.util.slugify() with str.normalize("NFKD")... and adjust the documentation to All characters are mapped to lower case, approximate ASCII characters (e.g. with diacritics removed) and ...