Handle accidental git commit with big files

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

HARPgroup / cbp_wsm

Handle accidental git commit with big files #83