larsrh/sbt-libisabelle not found