Add GET /rest/repositories API call.

This allows calling GET /rest/model for existing repos without reading them
from config.xml.

This makes the API for other interfaces cleaner, easier to use.

Example:
$ curl http://localhost:8080/rest/repository_ids
["default","documents"]