GRHD: split source code for different formulations into separate files
Also adds a minimal description to each formulation with references to my notes.
Also updates the formulation
parameter docstring.
This is the followup PR promised in !114 (merged).