Add .eclipseproduct file, generalize properties, add correct Mac OS X INI for launcher