Allow concatenating numbers to string

[jmmv]

It is impossible right now to construct a string from various parts because the addition operator only works on strings and we have no way to convert numbers to strings. We should add a mechanism to do this, probably by overloading the addition operator.

This is necessary to, for example, easily center computed strings on the screen.