auto-generate manual
Description of problem:
Currently libtasn1's manual is a static web-site at gitlab. We should trigger manual auto-generation at gitlab under conditions (tagging or other), to prevent an old version of the manual being presented.