checkout: introduce --detach synonym for "git checkout foo^{commit}"