Merging in minor Eclipse documentation changes.

Merging in minor changes to the Eclipse documentation article, doc/installation-makahiki-vagrant-eclipse.rst.