improvement for install-info + install-info --delete command

Signed-off-by: Mattias Andrée <maandree@operamail.com>