Add build recipes to justfile

INSTALL.txt

@@ -11,6 +11,9 @@ available in a project library.
 
 ## Necessary step to execute *before* everything else
 
+Recommended way: use one of the "just" recipes in justfile. For more info on "just" utility
+visit https://github.com/casey/just.
+
 This downloads all the dependencies:
 
   ./gradlew -b dependencies.gradle

justfile

@@ -0,0 +1,14 @@
+assemble:
+	./gradlew -x coderules-generate -x fitch-generate -x lambdac-generate -x mpscore-generate assemble
+
+test:
+	./gradlew -x coderules-generate -x fitch-generate -x lambdac-generate -x mpscore-generate check
+
+init:
+	./gradlew -b dependencies.gradle
+	mvn -Dmaven.javadoc.skip=true -B -f reactor install
+	./gradlew setup
+
+check: init
+	./gradlew check
+