Minor housekeeping: remove unused proguard-rules.pro