Support infix expressions and add roswell script!

CHANGELOG:

• Add unit tests using prove
• Add a makefile to help testing
• Add a roswell script to help distribute software
• Use infix expressions as default of main function
• Fix properly the implementation of infix-to-prefix

Truth Table capabilities

We can do a lot of basic stuff about truth table of propositional expressions evaluation.

I attached a binary version as REPL mode for the truth-table algorithm