[Why3] update to 0.81 and install the library