Revert edu plugins ids

student --> interactivelearning

python/educational-python/build/plugin-list.txt

@@ -4,8 +4,8 @@ remote-servers-git
 github
 IntelliLang
 IntelliLang-python
-student
-student-python
+interactive-learning
+interactive-learning-python
 course-creator
 course-creator-python
 hg4idea

python/educational-python/build/pycharm_edu_build.gant

@@ -224,10 +224,10 @@ public layoutEducational(String classesPath, Set usedJars) {
 
 private layoutPlugins(layouts) {
   dir("plugins") {
-    layouts.layoutPlugin("student")
-    layouts.layoutPlugin("student-python") {
+    layouts.layoutPlugin("interactive-learning")
+    layouts.layoutPlugin("interactive-learning-python") {
       dir("courses") {
-        fileset(dir: "$pythonEduHome/student-python/resources/courses")
+        fileset(dir: "$pythonEduHome/interactive-learning-python/resources/courses")
       }
     }
     layouts.layoutPlugin("course-creator")