Also, this removes scalacheck and pulls in the required modules. Again, we could do this in jenkins rather than in SBT. I'm somewhat in favor as that removes one abstraction boundary between "where the commands are run" and "where the commands are called" (e.g., "unix2dos" -> "todos")