Converted bulk of cudd information in sources to a doxygen-compatible format.
Merge branch 'master' of https://github.com/lordofhyphens/CUDD