Automate the generation of the documentation wiki

[idelatorre]

From #241
Automate the building of Eclipse Help Plugin and PDF on Jenkins

[cecilebraun]

Telco 25.03.14 : make the documentation generation platform independant
@jastram suggests to use ant

[idelatorre]

All automation is now with Jenkins and independant of the platform. In addition, the documentation wiki page has been updated with the specific info

[jastram]

@idelatorre - is this already activated on Jenkins? Can you please provide a link?

[cecilebraun]

Check if it 's activated for Jenkins