added a directory optim/ dedicated to experiments about injecting/proving ACSL spec into optimized programs.