Merge pull request #1540 from GaloisInc/rem_api_shebang_fixes_take2

cryptol-remote-api script shebang fixes

cryptol-remote-api/check_docs.sh

@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env bash
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 
@@ -7,6 +7,7 @@ cd $DIR/docs
 export CRYPTOL_SERVER=$(cabal v2-exec which cryptol-remote-api)
 if [[ ! -x "$CRYPTOL_SERVER" ]]; then
   echo "could not locate cryptol-remote-api executable - try executing with cabal v2-exec"
+  echo "or try building with 'cabal build cryptol-remote-api'"
   exit 1
 fi
 

cryptol-remote-api/run_rpc_tests.sh

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

cryptol-remote-api/test_docker.sh

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