05-26-13 Update git-ignore