Pretty-printer updates

 * Allow the pretty-printer to handle line breaking rather than doing it manually
 * Fix highlighting for :t for metavars
 * Make the prover respect showimplicits

Fixes #814.