Created new TLA+ operators for modulo and divide

.gitignore

build.gradle

src/main/java/de/tlc4b/TLC4B.java

src/main/java/de/tlc4b/analysis/NotSupportedConstructs.java

src/main/java/de/tlc4b/analysis/StandardMadules.java

src/main/java/de/tlc4b/analysis/UsedStandardModules.java

src/main/java/de/tlc4b/prettyprint/TLAPrinter.java

src/main/resources/standardModules/BBuiltIns.tla

src/test/java/de/tlc4b/prettyprint/ArithmeticTest.java

src/test/java/de/tlc4b/prettyprint/NumbersTest.java

src/test/java/de/tlc4b/tlc/integration/ArithmeticTest.java

src/test/java/de/tlc4b/util/TLC4BRunnerTestString.java

src/test/java/de/tlc4b/util/TLC4BTester.java

src/test/java/de/tlc4b/util/TestUtil.java

src/test/resources/basics/BBuiltInsTest.mch

src/test/resources/basics/BBuiltInsTest.prob