vech function

Parsimonious vectorization operator for symmetric matrices