Include documentation about using Leon within eclipse