Migration to Spring framework

The internals of the web services API have been fully migrated from a plain Jersey implementation to Spring REST. This doesn't affect end users, since the API is completely compatible with previous versions.