add summary to sha1seq. Move from sha1 to abbreviated ones
use abbreviated sha1 in print-git-objects.sh