Proguard options

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.