add pyreadline source