Pacify clang-format

Adding an include in a prior commit --> I must sort the other ones, apparently :)

Author: smowton

jbmc/src/jbmc/jbmc_parse_options.h

@@ -12,9 +12,9 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_JBMC_JBMC_PARSE_OPTIONS_H
 #define CPROVER_JBMC_JBMC_PARSE_OPTIONS_H
 
-#include <util/ui_message.h>
 #include <util/parse_options.h>
 #include <util/timestamper.h>
+#include <util/ui_message.h>
 #include <util/validation_interface.h>
 
 #include <langapi/language.h>