Update Proguard documentation, resolves #20.