Use a separate highlights list for each world

`mu-highlights' is now an alist of highlights for each world, where
the highlights for each world are in the same format as before.