Don't require HistoryManager to have a shell

Allows use of HistoryManager to work with history database without a shell instance present.

IPython/core/history.py

@@ -635,6 +635,7 b' class HistoryManager(HistoryAccessor):'
                    '_iii': self._iii,
                    new_i : self._i00 }
 
+        if self.shell is not None:
         self.shell.push(to_main, interactive=False)
 
     def store_output(self, line_num):