optionally use cohttp-server instead of the Python one

(for some reason, the Python one occasionally wedges and refuses
to server traffic on localhost in MacOS X)