do not print source excerpts in bugs.txt
do not print source excerpts in bugs.txt

Summary:public
bugs.txt only contains the summary of each report. The terminal output contains
a bit more information, such as source excerpts. If one wants to save the
terminal output into a file, they can always use shell redirection anyway.

closes #294

Reviewed By: martinoluca

Differential Revision: D3023796

fb-gh-sync-id: 9a21d17
shipit-source-id: 9a21d17

blzq/infer,facebook/infer,jsachs/infer,xennygrimmato/infer,jvillard/infer,jsachs/infer,facebook/infer,kageiit/infer,ryoon/infer,blzq/infer,jsachs/infer,kageiit/infer,ryoon/infer,ryoon/infer,kageiit/infer,ropas/infer,ropas/infer,kageiit/infer,facebook/infer,xennygrimmato/infer,kageiit/infer,ropas/infer,ryoon/infer,xennygrimmato/infer,facebook/infer,ropas/infer,xennygrimmato/infer,jvillard/infer,xennygrimmato/infer,xennygrimmato/infer,jvillard/infer,jsachs/infer,kageiit/infer,jvillard/infer,blzq/infer,ropas/infer,jvillard/infer,xennygrimmato/infer,blzq/infer,facebook/infer,ropas/infer,jsachs/infer,jsachs/infer,facebook/infer,blzq/infer,jvillard/infer,blzq/infer,facebook/infer,kageiit/infer,jvillard/infer,ryoon/infer,ryoon/infer