replace "pedantic" parsing options with more fine grained tags

[agarwal]

Many parsers provide the option of being "pedantic", meaning more validation checks are made. We should replace this with more fine grained terms, specifying exactly what the option is. Further, such options should be uniformly defined as tags. The goal is that Foo.tags provides the full range of variations on foo file formats.

[smondet]

Now

grep -rin pedant src/lib/*

gives no more `pedantic options.