git: add another alias for checkout