Minor fix : do not drop instantiation patterns when merging quantifiers.
fixed bug575 for bv models
Fix for manpages.
First crack at fixing double-linking issues in build system.
Fix double-linking issue (I think) by simplifying builds/ structure.
Fix win32 build.
Another build fix.