reject_bidi: add an option to just warn
BiDi characters are not inherently bad, so add an option to just warn
about it. Note that most cases will be able to use \u{XXXX}
escapes
(such as string literals), but for names in comments or documentation,
it may be required to properly render names written in an RTL script.
This option allows such cases to be pointed out for closer review.