let gradle (or travis?) obtain recent frege.jar version from github

[Ingo60]

Since apparently no one feels responsible anymore for putting recent frege releases to Maven, and since this is also apparently not possible or desirable to do in an automated fashion, I propose the following for frege-repl and frege-interpreter alike:

Let gradlew check some relative path (i.e. lib/frege3.24-latest.jar) for a frege jar to work with, and fetch it from github if not present. It'd certainly be best to use the same one in the repl as in the interpreter, of course.

This way, we would not have to rely on Maven. There could be one and only one place where the jar to download would be specified. (This would be documented in the README.md, of course.) And people needing a most recent frege jar or even one that is just in development could use the repl with that one as well.

[Dierk]

agreed.
That will makes things simpler.
BTW: one can use github as a maven repository with the "jitpack" service. I'll have a look whether that helps.

[Dierk]

see https://jitpack.io for how to use github releases as maven/gradle dependencies.