Include correct headers for read_dimacs.hpp, fixing #2460. Added a compile test (just a stub for now) to ensuer that the file will compile without any additional includes.