Log Message:
Adding devel/why3 1.5.1

Import from WIP, thanks jihbed.research@gmail.com

Why3 is a platform for deductive program verification. It provides a rich
language for specification and programming, called WhyML, and relies
on external theorem provers, both automated and interactive, to
discharge verification conditions.