Fix some problems in adaptivity code
This patch set fixes a number of issues in the adaptivity code:
- The
EntitySetin theGridFunctionSpacedid not properly get updated after adapting the grid. BothEntitySet::update()andGridFunctionSpace::update()now take an optionalboolparameter to force an update. - The adaptivity code now calls
GridFunctionSpace::update()with the force flag enabled. - There was a mixup between local and global id sets.
- Removed last occurences of directly using the
GridViewinstead of theEntitySetwithin the adaptivity code.