autoconf: add support for --with-murphy