Add sh- prefix to all shell script checkers
Do the cheapest pre-push checks first

Also refuse to push with dirty tree, and check for outdated Info manual
right after building the docs
Turn pre-push checks in classes