HelloWorldServlet added as main example.

The main example used to be named HelloWorld. The name of
HelloWorldServlet is more descriptive.