Fastest way to uniqify a list in Python,"set([a, b, c, a])"