jimtcl: update to version 0.80 (2020-10-29)