Cleanup sbt keys

A remaining question is whether we'd like to call the flag `incrementalMode` or `batchMode`. (Batch is shorter and already here, so I prefer it...).