Rename re_exec* -> reexec* for consistency
Rename Einhorn.sanity_check to dump_environment_info

...which is what it actually does right now. Once it actually performs
more involved sanity checks, this should probably be renamed back (: