compiler for Frege language as executable jar