shortest.icn: Program to write shortest line in a file

This program writes the (last) shortest line in the input file.  If the
command-line option  -# is given, the number of the shortest line is
written first.