Proguard

I just tested the proguard branch, and it seems to be working.  If it works for everyone else, let's merge it.