Remove duplicate no-built-in-assertions help output

With 415c1a3 and 93bd022 merged around the same time, this duplication
likely resulted from a mistake in resolving conflicts. Just remove one
of the lines.

Author: tautschnig

src/analyses/goto_check.h

@@ -60,7 +60,6 @@ void goto_check(
   " --nan-check                  check floating-point for NaN\n" \
   " --enum-range-check           checks that all enum type expressions have values in the enum range\n" /* NOLINT(whitespace/line_length) */ \
   " --pointer-primitive-check    checks that all pointers in pointer primitives are valid or null\n" /* NOLINT(whitespace/line_length) */ \
-  " --no-built-in-assertions     ignore assertions in built-in library\n" \
   " --retain-trivial-checks      include checks that are trivially true\n" \
   " --error-label label          check that label is unreachable\n" \
   " --no-built-in-assertions     ignore assertions in built-in library\n" \