An auto-complete source for sage-shell-mode