Add ProGuard section to README.