Add basic REPL

Add the `propose` binary which starts a basic REPL for playing around
with propositional logic formulae.

When entering a formula, the REPL will print out a truth table for that
formula.