fastest way to uniqify a list in python,"set([a, b, c, a])"