Added sage-shell:sage-executable and renaming.
sage-shell:run-sage raise an error if sage-shell:sage-executable is
not valid.