Eclipse plugin should be signed

[ericbodden]

We should cryptographically sign the plugin

[kruegers]

https://www.eclipse.org/cbi/sitedocs/eclipse-jarsigner-plugin/sign-mojo.html