bug#20887: 'make bootstrap' now verrrry slow due to recent isearch changes

[Artur Malabarba]

> Btw, did you try replacing a simple iteration through all the
> characters with map-char-table?

Hadn't thought of that. Indeed, the second loop can be replaced by a
map-char-table, and it speeds things up by about 30%.