Implemented IPL14 processors and added an IPL14 strategy
Explain unsuccessful proof attempts in the CGI driver
improved REPLability of the Cli driver