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).