Instructions in README for running the servlet.