Add `parse_infos` to options, use it for "parsed file" message

This adds a new parse_infos besides parse_warnings, and uses it for the
'Included extra file "%s" during parsing' info.

Fixes #272