Proguard options

Added &lt;options/&gt; support to Proguard configuration …
Additional Proguard options can be added using an &lt;options/&gt; element,
allowing to configure the plugin in a super POM.