[#10] rm IDEA plugin source after it's been moved to own Git project