Added EXASolution dialect to documentation