Add the documentation for running agents in Eclipse (issue #122).