Add developers keySetting

The motivation for this is mainly to avoid having to define a pomExtra to publish to Maven central
Merge branch '0.13' of github.com:sbt/sbt into 0.13