disable sbt-coursier for now (problems with terminal)
disable sbt-coursier for now (problems with terminal)

larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle