Implement the [[[ -> {, ]]] -> } replacement (mentioned in readme)

It's unlikely that anyone will need { } either in glossed text or in glosses,
but such a markup won’t hurt. Also, it makes it obvious where the code for
such post-processing belongs.