Support extra parameters in Ada backend
Add ads generation for shared libraries (1)
Add command line to generate a shared library
Generate mini-cv when targetting a shared library
Change type names