Removing duplicate lines from files keeping the original order with Awk