Add fancy progress printing for domset