free-theorems-seq-webui-1.0: test.sh

#!/bin/bash
./testcgi.py ./dist/build/free-theorems-seq-webui.cgi/free-theorems-seq-webui.cgi