build: Replace $extras by per-executable variable.

build: Replace $extras by per-executable variable.

This changes the summary at the end of the configure script to
output one line per optional executable rather than to list all
optional executables in a single line.

The new build_xxx variables are also useful to compute the set of
all $all_errlist_objects at a single location, which will be done
in a subsequent patch.