git-pull.sh: introduce --[no-]autostash and pull.autostash