Added SPI for obtaining a list of all registered Servlets
Added implementation of ServletRegistrationProvider for Servlet 3.0 environments
Modified ServletMapping condition to use the new ServletRegistrationProvider SPI
Added a unit test for the Servlet 3.0 implementation of ServletRegistrationProvider