ObjectRepositoryServer: return empty array for getRecords request...
ObjectRepositoryServer: return empty array for getRecords request...

... (request for object versions) if the lively server was started with
versioning disabled

LivelyKernel/LivelyKernel,LivelyKernel/LivelyKernel,LivelyKernel/LivelyKernel