Added EXASolution dialect to documentation

I have added the EXASolution dialect to the documentation section. The dialect is used in production and actively maintained.