math/picosat: Update to 965

• Update DISTVERSION and distinfo checksum (965)
• Add CONFIGURE_SCRIPT (filename change to .sh extension)
• Add DEBUG option
• Use --trace, --stats (and --logs) with DEBUG, rather than in the default (non-debug) build.
• Specify --static explicitly even though its built to avoid possible future footshooting.

http://fmv.jku.at/picosat/NEWS