doc changes: remove deprecated play-mini plugin, add play-jaxrs router
Merge pull request #873 from pk11/doc-changes

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