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.