AlgBase constructor reordered.
Merge branch 'master' of https://github.com/juhroli/Hilbert.git

Conflicts:
	Proof/src/Algorithm/AlgorithmBase.cpp