Handle alternative locations of CUDD sources
Handle alternative locations of CUDD sources

In the shell script for creating binary (i.e., built) releases, search
in additional locations for the CUDD license file, and fail if the
directory is not found.

Also, fail if the kernel architecture is not recognized.

slivingston/gr1c,slivingston/gr1c,slivingston/gr1c