Adds rndSelect

Adds functions to select random elements from lists and vectors.
These functions also demonstrate the naturalness of the new definition
of rndFin.
Refactors rndFin' to only accept length > 0 vectors
Adds Google to contributors list