Added <options/> support to Proguard configuration

Additional Proguard options can be added using an <options/> element,
allowing to configure the plugin in a super POM.