Cleanup sbt keys

I would call this `prettyPrintFullOpt`. It's unlikely that the fastOpt mode will ever print non-pretty. And anyway, even if it did, the default should still be pretty for fastOpt and ugly for fullOpt, so the settings should be separated.