Updating manual and introduced a short and long version option
tree815e4773257bfe64e65ec3f87e11883f90d33202
-rwxr-xr-x 2870 regtest_signduterre.makefile
-rwxr-xr-x 64240 signduterre.py