Ignore ./doc directory.
Cleaned up old Makefile changes to cudd/Makefile
Added Cudd_ references to C++ object functions