Adds bash function to recover a deleted file via git