core: properties in declarative format

[math-fehr]

This PR enables properties in the declarative format.

By default, all properties should be specified in the format.
However, with the ParsePropInAttrDict IRDL option, properties are instead parsed by the attribute dictionary, to keep compatibility with MLIR.

[codecov]

Codecov Report

Attention: 6 lines in your changes are missing coverage. Please review.

Comparison is base (6e0975f) 90.01% compared to head (ecc7a63) 90.03%.

Files	Patch %	Lines
xdsl/irdl/declarative_assembly_format_parser.py	73.91%	3 Missing and 3 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2031      +/-   ##
==========================================
+ Coverage   90.01%   90.03%   +0.01%     
==========================================
  Files         291      291              
  Lines       36283    36337      +54     
  Branches     5381     5394      +13     
==========================================
+ Hits        32660    32715      +55     
  Misses       2851     2851              
+ Partials      772      771       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[superlopuh]

should this be based on the other PR?

[math-fehr]

Good point, done now