Re-enable obfuscation

Obfuscation appears to reduce the apk file size, which I think is important
for such a small and limited app.  Hopefully this does not make debugging
too difficult later on...