eclipse: version bump
eclipse-pydev: version bump