API/behavior changes

Add ids to POST /indexes/INDEX_UID/documents/fetch

Examples

Getting a list of documents

// POST /indexes/INDEX_UID/documents/fetch
{
    "ids": ["cody", "finn", "brandy", "gambit"]
}
{
    "results": [
        {
            // documents are not returned in the queried order
            "id": "brandy",
            "info": 13765493
        },
        {
            "id": "finn",
            "info": 35863
        },
        {
            "id": "cody",
            "info": 122263
        },
        {
            "id": "gambit",
            "info": 22222
        }
    ],
    "offset": 0,
    "limit": 20,
    "total": 4
}

Mixing filter and ids

// POST /indexes/INDEX_UID/documents/fetch
{
    "ids": ["cody", "finn", "brandy", "gambit"],
    "filter": "info > 100000"
}
{
    "results": [
        {
            // documents are not returned in the queried order
            "id": "brandy",
            "info": 13765493
        },
        {
            "id": "cody",
            "info": 122263
        }
    ],
    "offset": 0,
    "limit": 20,
    "total": 2
}