Render display_name and signature_documentation in snapshots#391

jupblb merged 2 commits intomainscip-code/scip:mainfrom

michal/more-formattingscip-code/scip:michal/more-formattingCopy head branch name to clipboard