added theory Natural_Mergesort for educational purposes
admin/sitegen (with python3)
added email address
make lips work with --safe-strings (default in newer versions of OCaml)