[shell] Shell command to sum integers, one per line?