Add a clang-format configuration and reformat C code (#261)

* Add a clang-format configuration and reformat C code

From my testing it turns out the built-in WebKit style is the closest to
the current style. I added a few config options to further reduce the
diff and I think the current output looks reasonable.
In the future it would be good to add a CI and pre-commit check to enforce
that all C code is consistently formatted to reduce the need for reviewers
to look for formatting issues.

* Fix formatting of commented-out reservation debug code

Use an empty-by-default macro instead of commented-out fprintf calls.
This way clang-format can format the calls sensibly and it's easier
to enable the debug prints.

* Improve formatting of fprintf call in set_config_print()

Clang-format does not like long string literals, so split this manually
to format the call sensibly.

* Fix formatting of function pointer typedef

Clang-format gets this wrong `*` is part of the typedef.

* Improve formatting of getopt_long call

* Fix odd fprintf continuation by splitting long string literal

1 files changed, 8 insertions, 4 deletions

diff --git a/c_emulator/riscv_prelude.c b/c_emulator/riscv_prelude.c
index 92f8415..cd2ab70 100644
--- a/c_emulator/riscv_prelude.c
+++ b/c_emulator/riscv_prelude.c
@@ -9,25 +9,29 @@ unit print_string(sail_string prefix, sail_string msg)
 
 unit print_instr(sail_string s)
 {
-  if (config_print_instr) printf("%s\n", s);
+  if (config_print_instr)
+    printf("%s\n", s);
   return UNIT;
 }
 
 unit print_reg(sail_string s)
 {
-  if (config_print_reg) printf("%s\n", s);
+  if (config_print_reg)
+    printf("%s\n", s);
   return UNIT;
 }
 
 unit print_mem_access(sail_string s)
 {
-  if (config_print_mem_access) printf("%s\n", s);
+  if (config_print_mem_access)
+    printf("%s\n", s);
   return UNIT;
 }
 
 unit print_platform(sail_string s)
 {
-  if (config_print_platform) printf("%s\n", s);
+  if (config_print_platform)
+    printf("%s\n", s);
   return UNIT;
 }