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.
Add draft of BV proof signature (incomplete) and example proof.
Fix a build issue for some configurations, thanks Tianyi.