Dimacs formula shuffler
Merge branch 'master' into reshuffle2
Revert "Add new reshuffler"

This reverts commit 34246de0c4784c9e90655b4df547c8f49ab8e75c.

Conflicts:

	reshuffle.py