[Emulink] patch for rendering of self-transitions and svg translation
patch for pvs syntax highlighting (the fractional part of real numbers is now correctly recognised by the regex)
patch for bug #119 (file not found after clicking 'open project')
patch for bug #119 (periodic event used for image polling was causing the creation of multiple svg layers)
missed commit for bug #119
patch for bug #120 (misaligned widgets when scaling the prototype image)