Use proguard on release builds

We don't need obfuscation (it's an open source project), but proguard
wil shrink the apk by stripping out unused code.