Decouple Scala version used for REPL from server