#21: added 'Testing' section to README.md
#21: FOL form of input is now printed as well
also:
- flattened the call hierarchy as described in #21
- merged the one-liner `findFallaciesInSentence` into `main`
- added "thus" as conclusion word
#21: added example to README.md
#21: enhanced printouts
- each found fallacy is now printed in a separate line
- there is a separation line after each execution
#21: extracted 'main' function into new Main.hs file
- this allowed to decouple TextToFOL from DetectInFOL
- all functions in all our modules are IO-free now
- all IO activity happens in the 'main' function in Main.hs
#21: updated entry point in the README.md 'Running' section
Closes #21.