typos

Prepare for 0.9.14 release.

minor fixes: don;t depent on OCaml's Stdlib, typo

Version 0.9.14 beta 1 release candidate

Preparation for release 0.9.13

use javac -h instead of javah for Java >= 11

(should fix the compilation error with openjdk 11)

fixing t1p_aff_is_leq in presence of bottom element

Merge from trunk.