38: Several bug fixes for full-text search

* grab up to 20K results from Solr, and filter by ObjectIDs after
* calculate intersection of IDs for MongoDB query with JS
* fix bug with getObjectIds() not returning IDs for directly shared objects