idea.desktop: fixed that the item got malformed Comment input
idea.idea-{community,ultimate}: bump 13.1.4b -> 13.1.5
idea.android-studio: bump 0.8.10 -> 0.8.12
Merge pull request #4484 from edwtjo/idea-updates

Idea updates