Create Nat2.ml

initial commit for second NAT app
Update Nat2.ml
Rename Nat2.ml to Sol_Nat2.ml
Merge pull request #2 from vzy2/patch-2

Create Nat2.ml