Add option to create dynamic shared library of libinfinity#16

TrStans606 wants to merge 3 commits into

claudebarthels:masterclaudebarthels/infinity:masterfrom

TrStans606:masterTrStans606/infinity:masterCopy head branch name to clipboard