Adding CLIBF scripts

modeling/AVATAR/testMatteo.xml

modeling/scripts/clibf.exe

modeling/scripts/g0.txt

modeling/scripts/scriptbf

src/main/java/avatartranslator/AvatarBlockTemplate.java

...ava/avatartranslator/modelchecker/AvatarModelChecker.java

src/main/java/cli/BF.java

src/main/java/cli/BFTask.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/MainGUI.java

src/main/java/ui/TDiagramPanel.java