Added license
Unix and bigarray back in!