picoc has moved to https://gitlab.com/zsaleeba/picoc