Tutorial on Frama-C WP

The last version has move here.