* ADD: shared building

* FIX: path to headers in cudd
* FIX: CUDD_PATH changed to CUDD_INCLUDE and test target fixed
* ADD: CUDD dependency added to installation instructions
* Dependences moved

---------

Co-authored-by: Nikita Romanov <nikitarm@ispras.ru>