Allow specifying a different alphabet.
-safe-string compatibility.
Regenerate OASIS.
Update opam.
Add gh-pages to Makefile.