Add pvs_patch script
Delete bubble.c~
Delete top.pvs~
Merge https://github.com/samowre/frama-c-pvs into pvs_patch
Added locate command in why3-call-pvs
Merge branch 'pvs_patch' of https://github.com/samowre/frama-c-pvs into pvs_patch
Modified why3-call-pvs
Minor refactoring
Added two blank lines before/after section
Added pvs_patch with control_example.pvs
Delete control_example.pvs~
Move control_example from master to pvs_patch branch
Merge branch 'pvs_patch' of https://github.com/samowre/frama-c-pvs
Merge branch 'master' of https://github.com/samowre/frama-c-pvs