Added new pattern to extract IDL code in some specs
Added new pattern to extract IDL code in some specs

The new "pre > code.idl-code" selector pattern allows to extract the IDL
content from the WebCrypto API in particular. The new pattern is only tried
if the usual extraction pattern does not extract anything.

tidoust/reffy,tidoust/reffy