Changed QDIMCAS maximum variable counter to maximum variable index
Added subtraction of minimum variable index to qdimacs formatter to make
sure that every index in an output file is in a range of
[1..maxVariableIndex]