Run proguard on release builds

This seems to work.  But I can't test that the build process does what it is supposed to, because debInstall64bit.bash is still not working.

I do notice that this only reduces the size of the deb file by about 30% (down to 40MB).  That's because the JRE itself is not affected by proguard, and the JRE takes up like 20 MB compressed .  It might be possible to change this, but I think that would probably be (a) a lot of work and (b) a mistake.

There is probably ~3 or so megs of slack left in there. I was a bit sloppy with the proguard matching because the build process is super-slow.  I wasn't able to figure out a clean way to handle swt, smack, and a few other things, so I just included them all in.