Added stuff to get FOL forms using C&C and boxer.

Uses the process library to connect with C&C servers and run boxer.