Use bash in configure

Many *NIXes alias /bin/sh to bash, but not all do, and this is
a bash script, not an sh script.

Author: steveklabnik

configure

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 msg() {
     echo "configure: $*"