pythonrc: only read history file if it exists