Release 0.31

update docs for 0.30

update revision history

release 0.28; remove orphaned doc built products in doc (now in built…

…_doc)

release 0.27

prepare release 0.26; synchronise coq-ott.opam with opam

Merge pull request ott-lang#1 from hannesm/fixes

Fixes