add git checkout dev alias

dev branch is used very often, why not?