Fix script shebang to improve portability of user doc generation

Now compiles on ubuntu...

tools/pgs-pygments.sh

-#! /bin/bash
+#! /usr/bin/env bash
 
 arguments=()