Provide help if no supported server is available

- Support latest cohttp which no longer seems to provide cohttp-server
  executable, only -async and -lwt versions.
- Redirect stderr to null to hide Python's ugly backtrace on Ctrl-C.