Dont check out oti

The index-doc-store script had a gratuitous git_refresh of the oti repo. If it's necessary up update the plugin before indexing, that has to be done manually as a separate 'push.sh ... oti' step.