List buffer names of the processes in  sage-shell-edit:set-sage-proc-buf-internal.