Use /usr/bin/env in shebang lines

This improves portability as not all systems have bash, perl, or python
in /usr/bin (FreeBSD is one such example).

Author: tautschnig

.githooks/pre-commit

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # Runs scripts/cpplint.py on the modified files
 # Based on https://github.com/s0enke/git-hooks/
 #

.github/workflows/pull-request-check-clang-format.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Stop on errors
 set -e

.github/workflows/pull-request-check-cpplint.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Stop on errors
 set -e

doc/doxygen-root/doxygen-markdown/markdown.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -euo pipefail
 

doc/slides/cbmc-latex-beamer/do_figures

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 FIG="cbmc-flow.fig frontend.fig"
 

integration/linux/compile_linux.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Fail on errors
 # set -e # not for now

jbmc/regression/jbmc-json-ui/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 JBMC_PATH=$1
 shift

jbmc/regression/jbmc/deterministic_assignments_json/generate-json.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 mvn package
 java -cp target/jsonGenerator-1.0-SNAPSHOT-jar-with-dependencies.jar:. org.cprover.JsonGenerator

jbmc/regression/strings-smoke-tests/performance.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 '''
 This script collects the running times of the tests present in the current

regression/acceleration/accelerate.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 cleanup()
 {