Readded scripts/fix_style.sh. It seems to have disappeared at some point, have no idea. Use with care.

scripts/fix_style.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+if [[ $1 == "DO" && $2 == "IT!" ]]; then
+    find -name \*.h -o -name \*.cc -o -name \*.c | xargs clang-format -i -style=file
+    echo "It is done."
+else
+    find -name \*.h -o -name \*.cc -o -name \*.c
+    echo "I'm going to try to fix the style of these files."
+    echo "If you're absolutely sure, give \"DO IT!\" as a parameter."
+fi