Removed almost all the redundant code, and added functions's documentation

	modified:   dimacs.py
	modified:   fanSATstic.py
	modified:   gsat.py
	modified:   gwsat.py
	modified:   satutil.py
	modified:   wgsat.py
	modified:   wgwsat.py