Bugfix for adjoints_ex4 adaptive refinement
Fix and reenable AdjointRefinementEE splitting

We should satisfy sum(local_error_estimates) == global_estimate now,
and the algorithm should be O(N log N) rather than O(N^2).
Cut-n-paste typo fix in adjoints_ex4