Move examples in punic/examples repo