Update grep to 2.20.

Fixes #9342.
BootMan: Don't rename the "Install" button to "Quit"

... when there are no installable disks.

The button is disabled anyway, and it is not useful to rename it. The
program can be exited by closing the window anyway, so a "Quit" button
is useless.