Remhos: Clean up after merges #852
Description
- Waiting on merge: Change mfem include header name CEED/Remhos#53
- Remove the hack in Laghos, Remhos Bugfix #770 (explicit copy of the missing include to the intended location).
- Waiting on merge: Decompose det.cpp into separate source and header files mfem/mfem#4866.
- After all merges, what needs to be done?