bug 441610: Release- and Build-Management for Mars

https://bugs.eclipse.org/bugs/show_bug.cgi?id=441610

update version 4.1.0 --> 4.2.0

Change-Id: If194e1c4e41e4c494a020bd565af9b7751b78952
Signed-off-by: Adrian Sacchi <adrian.sacchi@bsiag.com>