reorg
moving gnatprove test/examples to internal