better support for SVN_REV for devstudio builds (JBIDE-13672)