Add a string( mask, p... ) function to format strings according to the mask

Add a second signature to the string() function that works like the java String.format() method and allows the user to format strings in arbitrary ways.