maint.sh: Simpler git pull command. Support for shell-passed options.