Distribution of software based on the Eclipse open-source development platform and services related to that distribution