fix makefile for OS X systems

This is a small enough tweak that it's probably not worth a configure
script
add documentation for QDIMACS output certificate