mostly runner changes
Merge branch 'master' of github.com:pliz/gunfolds
turned memoization off for fork-code
Merge branch 'master' of github.com:pliz/gunfolds

Conflicts:
	tools/traversal.py
changed runner to run the old versions
Merge branch 'master' of github.com:pliz/gunfolds
playing with runner
Merge branch 'master' of github.com:pliz/gunfolds
more minor modifications to the running script
Merge branch 'master' of github.com:pliz/gunfolds
removed undersampling function that is not used anyways
playing with parameters for computation load
Merge branch 'master' of github.com:pliz/gunfolds
moved additional pruning functionality into the checkable function
script changes to the plotting and batch computation
correcting double counting errors
Merge branch 'master' of github.com:pliz/gunfolds

Conflicts:
	dbnplot.py
	tools/traversal.py
 incorrect exclusion criteria corrected and some plotting