Updated versions of frama-c and jessie (the 'why' package) were added.
pff use-flag was removed from the why-2.34_p2 package.
Better commits were chosen for p2-versions of frama-c and why.
Backward compatibility with OCaml 4.01 was added.
New frama-c+why version was added.