Add concat() builtin (fixes #201).

This allows to concatenate multiple vectors and single elements into a
single result vector.