minor improvements to build.sbt

Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>