add commands to clean the local git tree, prior to pull changes from Salsa

add commands to clean the local git tree, prior to pull changes from Salsa's webwml repo - Thanks Boyuan Yang for the suggestion