HTML export: Combine consecutive elements

Consecutive elements, i.e. tokens of the same class, separated by spaces
(e.g. "c d e f") are now wrapped in one single <span> element