Initial design for the RestServlet
New design for REST servlet, separating functionally different parts
(object management, output formatting, ...)
New RestServlet API, completed implementation
Merge branch 'master' into rest_servlet