[WIP] Migrate to Ghc API#12

Open

TOTBWF wants to merge 6 commits intomasterfrom

Commits on Jun 22, 2019

Implement `using` tactic
Reed Mullanix
committed

Commits on Jul 6, 2019

Migrate to Refinery + GHC API
Reed Mullanix
committed

Commits on Jul 7, 2019

Begin work on grafting GHCi in
Reed Mullanix
committed
Ensure that GHCi wrapper is always interactive
Reed Mullanix
committed
Implement `tactic` GHCI command
Reed Mullanix
committed
Improve errors and change `tactic` to `auto`
Reed Mullanix
committed