update extension methods specification to allow leading context parameters

current spec is out of date after this change https://github.com/lampepfl/dotty/pull/10940
https://dotty.epfl.ch/docs/reference/syntax.html

```
Extension         ::=  ‘extension’ [DefTypeParamClause] ‘(’ DefParam ‘)’
                       {UsingParamClause} ExtMethods
```