Frege Repl Command has Fragile Terminal Dependency

[tricktron]

The Frege Repl command calls:

terminal.sendText(`java -cp $(./gradlew -q depsFrege --replSource=${path.basename(args)}) ${FREGE_REPL_MAIN_CLASS_NAME}`);

This only works with posix shells that support the $() syntax. E.g. fish shell won't work and powershell on windows won't work as well (not tested).

[tricktron]

The goal is to remove the Gradle dependency again. Instead we just expose a single path parameter that points to dependencies. These need to be manually configured by the user, e.g with the help of Gradle.