Remove duplicate values from an array

[PhilippImhof]

Description of proposed feature

We should add a function unique() that will remove duplicate values from an array.

How can the new feature be used?

unique([1,2,3,5,2,4,1]) --> [1,2,3,5,4]