Separate publishing into publish.sbt

Or: trivial change to try to get github to trigger a build again