Add shellcheck to CI and a progress bar for sed'ing in genbindings.sh

Add shellcheck to CI and a progress bar for sed'ing in genbindings.sh #610