Implement proof output
Improve coding style of proof mode.
Proof mode: stroke and fill texts to improve visibility.
Merge pull request #371 from duanyao/proof_output

Implement proof output