changes in dimacsdag and included resultsdimacs.sh and startdimacs.sh