Support number formatting

[nuest]

Right now, the number formats that are supported are integer %d and float/double %f. We are using the php stringf notation (http://php.net/sprintf) for compatibility with the PHP server.

Check if the formating actually differs!

If it differs, extend classes in FacetTransformationDescription.java to allow defniiton of the fraction size, e.g. %.2f