decide comments
more comments
merged decide Merge branch 'master' of https://github.com/sierrakatow/cryptosolver

Conflicts:
	decide.ml