Handle accidental git commit with big files

[rburghol]

See here: https://github.com/HARPgroup/vahydro/wiki/Git-Tips-and-tricks#git-large-file-problem

• Note: follow those instructions exactly and DO NOT TRY TO USE A REGULAR rm, then remove the cached file because it blows it all up.
• See my latest example fixing this:

# remove the files in the GIT CACHE first before anything else
git rm --cached code/src/wqm_load/ch3d/sample/fort.13_new_2000
git commit --amend -CHEAD
git push origin p61st
# then we come in and remove this file so that it never gets added accidentally
rm code/src/wqm_load/ch3d/sample/fort.13_new_2000

Hard to do.

for i in `find code/* |grep ".*\.a$"`; do rm $i; done
for i in `find code/* |grep ".*\.exe$"`; do rm $i; done