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

[Andrea Scarpino]

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