input from config file works
progress messages can be muted
Merge branch 'master' of ssh://github.com/mkawalec/pumas

Conflicts:
	src/solver.cpp