[PATCH] show-diff.c: make diff options customizable.