nixpkgs: verifast 13.11.14

Signed-off-by: Austin Seipp <aseipp@pobox.com>
(cherry picked from commit aaa0304a45c8f1f9898bcbd355631407c26b5615)
fmod: 4.44.32 -> 4.44.33

Signed-off-by: Austin Seipp <aseipp@pobox.com>
(cherry picked from commit fec91fd092dff0173e3716435391d7ec13ea6588)