Updated the Makefile to the latest release of the checker framework.
Updated the Makefile to the latest release of the checker framework.

Fixed the package name in the JAIF file generated by Julia.

reprogrammer/tqi-study,reprogrammer/tqi-study,reprogrammer/tqi-study