mergetool--lib: list user configured tools in '--tool-help' Signed-off-by: John Keeping <john@keeping.me.uk> Signed-off-by: Junio C Hamano <gitster@pobox.com>