Added GPG plugin to plugins.sbt. (This plugin had been specified as a user-specific plugin locally, but that prevented the sources from being built by SBT on Jenkins and on other machines.)