[Concept] [PATCH 26/29] buildman: Extract IDE output in print_result_summary()