add git checkout dev alias for git plugin

dev branch is used very often, why not?