Update miei_script.php

rimuovo duplicati da un array (più veloce ed efficace di array unique)