release 4.2.0.Final to ide-config.properties >> master

But... what about differentiating between latest stable release (4.2.0.Final) and latest dev milestone (4.2.1.Alpha1) ? And the latest nightlies for 4.2.x and master? 

We need 4 streams here.