JSON-based web service and Eclipse plug-in

This pull request contains both a servlet that exposes OpenGroks search API via JSON (fixes #422) and a plug-in for Eclipse that uses this interface (fixes #45).