added git script to delete a file from git and the git history