doc changes: remove deprecated play-mini plugin, add play-jaxrs router