export TinyVector with short type, too
Merge pull request #134 from thorbenk/tinyvector_short_export

export TinyVector with short type, too