Introduce function concat() used for strings concatenation

It considerably reduces the number of lines of code necessary for
concatenation of strings. Besides, it helps to get rid of warnings
mentioned at https://forge.ispras.ru/issues/11617.