better error info on exception
fix MPS-16350 [build:IU-117.622] java.util.zip.ZipException : error in opening zip file: error in opening zip file
plugins should be compatible with idea 12 #MPS-17376 fixed
Merge remote-tracking branch 'origin/MPS2.5'

Conflicts:
	IdeaPlugin/buildPlugin.xml
	IdeaPlugin/mps-core/META-INF/plugin.xml
	IdeaPlugin/mps-core/src/jetbrains/mps/idea/core/library/ModuleLibrariesUtil.java
	IdeaPlugin/mps-core/src/jetbrains/mps/idea/core/library/ModuleLibraryType.java
	IdeaPlugin/mps-core/src/jetbrains/mps/idea/core/library/MpsModuleLibraryKindContainer.java
	IdeaPlugin/mps-core/src/jetbrains/mps/idea/core/project/SolutionIdea.java
	build/solution/source_gen/jetbrains/mps/ide/build/buildPlugin.xml