isgd.pl: v0.7: add new option "auto_min_length" (#6)