update gitdeletetag, gitpush and gittag to use the new command-shortcut convention. Remove unused gitcheckout_force