Add useless (and nonproved) optimisation
Merge branch 'master' of github.com:Alexis211/SwitchBoxes
Commit uncommited changes
Added second box calculation algorithm
Merge branch 'master' of github.com:Alexis211/SwitchBoxes

Conflicts:
	boxes_h2.ml