Include description of .iex in the doc for IEx