Allow printf-like formating in HMI:Input, usefull for example when dealing with floating point numbers.

from __future__ import absolute_import
from svgui.pyjs.pyjs import *