Issue #1 Fix

This is my proposed fix for issue #1. I replaced start.sh with a start.py that allows specification of the wavsep install.jsp parameters, as well as alternate HTTP and AJP13 port numbers. I also altered the README significantly to explain invoking the script: https://github.com/dwvisser/pico-wavsep/blob/enhance/README.md
Okay. I think you had a better understanding of wavsep than me. I've examined the `install.jsp` file, and I now see that the "wavsep user" gets credentials installed so that it can access the database. Therefore, like you said, no need to re-configure. I will need a flag of some sort to detect a previous configuration. For now, I think I'll just look for the existence of `./db/WavSepDb`.