Rename Eclipse .launch file according to project name

Since Eclipse supports working with multiple projects in the same workspace, .launch file name
should include project name for creating unique per-project .launch file.

Author: Alexander Zilberkant

tools/export/cdt/__init__.py

@@ -30,7 +30,9 @@ def generate(self):
 
 
         self.gen_file('cdt/pyocd_settings.tmpl', ctx,
-                      join('eclipse-extras',self.target+'_pyocd_settings.launch'))
+                      join('eclipse-extras',
+                           '{target}_pyocd_{project}_settings.launch'.format(target=self.target,
+                                                                             project=self.project_name)))
         self.gen_file('cdt/necessary_software.tmpl', ctx,
                       join('eclipse-extras','necessary_software.p2f'))