Tweak games/gnomesudoku version 0.6.0_7
Update devel/sbt to version 0.13.1
Update devel/jenkins to version 1.543
Tweak audio/gmpc-wikipedia version 11.8.16_1