add -dfid option for depth-first search

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

src/main/java/de/tlc4b/TLC4BCliOptions.java

src/main/java/de/tlc4b/TLC4BGlobals.java

src/main/java/de/tlc4b/TLCRunner.java

src/main/java/de/tlc4b/tlc/TLCResults.java

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