don't print config until we've added any options from the file
add tasty-based test runner
Merge branch 'master' of github.com:gridaphobe/liquidhaskell
cleanup new tests/test.hs, remove some old run-liquid-with comments