dev-plugins.txt: Recommend ServletModule instead of HttpPluginModule
dev-plugins.txt: Recommend ServletModule instead of HttpPluginModule

As first noted in Ice22b3c23, HttpPluginModule is not appropriate to
extend because its configure method contains a bunch of bindings that
are specific to core; we're just lucky that it was harmless in practice.

Change-Id: I3b89150d18f41b164f350ff3f9649b9bc66880db

qtproject/qtqa-gerrit,WANdisco/gerrit,WANdisco/gerrit,qtproject/qtqa-gerrit,qtproject/qtqa-gerrit,GerritCodeReview/gerrit,qtproject/qtqa-gerrit,GerritCodeReview/gerrit,WANdisco/gerrit,GerritCodeReview/gerrit,GerritCodeReview/gerrit,WANdisco/gerrit,qtproject/qtqa-gerrit,GerritCodeReview/gerrit,GerritCodeReview/gerrit,GerritCodeReview/gerrit,qtproject/qtqa-gerrit,GerritCodeReview/gerrit,qtproject/qtqa-gerrit,WANdisco/gerrit,WANdisco/gerrit,WANdisco/gerrit