Adds a tiny command line program which takes a formula
as a command line argument and dumps some information about
it to stdout.