#1 List available flags

[Christian Biere]

Configure provides no way to list a summary of all
available flags along with a short description. The dist
units already contain such comments which could provide
this information. Currently the only way is skimming
through the raw Configure script. Even adventure mode
doesn't give a clue which question refers to which flag.