#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.