[arch-dev-public] Moving sbt to [extra]

Hi devs, I've to work with sbt for a while and I guess it deserve a place in our repos. So, I'm going to move it to [extra] (if this is an issue, I'm ok with [community] too). Any objection? -- Andrea