intellij-idea-community_2017.2.4-1_all.deb devel optional