Update dimacs_parser.py

bug fixes