Start btor-as-stp.pl wrapper script

Stopgap for testing Boolector before we have native SMTLIB2 support.
Move table handling code to formula_manager

Introduce temporaries more aggressively to keep table formulas
smaller, and tweak the order in which trace messages are printed to
keep lines more separate.
Include patch for OCaml 4.02 cleanness

Several things that FuzzBALL uses are deprecated in OCaml 4.02;
unfortunately the replacements don't exist very far back, so we
can't easily fix the warnings without breaking compatibility.
Include the patch for the benefit of 4.02 users while we consider
the best way of handling this.
Implemented an SMT-LIB2 interface to STP.
Cosmetic cleanups to SMTLIB2 support

Keep the default solver as stp-external for now.
Tweak header comments on the new files.
Fix some trailing whitespace that Git dislikes
Merge remote-tracking branch 'upstream/master'