planetarium: Abbreviate filenames from mit-scheme-... to mit-...

diff --git a/src/planetarium/mit-scheme-cil.scm b/src/planetarium/mit-cil.scm
similarity index 100%
rename from src/planetarium/mit-scheme-cil.scm
rename to src/planetarium/mit-cil.scm

diff --git a/src/planetarium/mit-scheme-graphics.scm b/src/planetarium/mit-graphics.scm
similarity index 100%
rename from src/planetarium/mit-scheme-graphics.scm
rename to src/planetarium/mit-graphics.scm

diff --git a/src/planetarium/mit-scheme-gtk.scm b/src/planetarium/mit-gtk.scm
similarity index 100%
rename from src/planetarium/mit-scheme-gtk.scm
rename to src/planetarium/mit-gtk.scm

diff --git a/src/planetarium/mit-scheme-r3rs.scm b/src/planetarium/mit-r3rs.scm
similarity index 100%
rename from src/planetarium/mit-scheme-r3rs.scm
rename to src/planetarium/mit-r3rs.scm

diff --git a/src/planetarium/mit-scheme-syntax.scm b/src/planetarium/mit-syntax.scm
similarity index 100%
rename from src/planetarium/mit-scheme-syntax.scm
rename to src/planetarium/mit-syntax.scm

diff --git a/src/planetarium/mit-scheme-x.scm b/src/planetarium/mit-x.scm
similarity index 100%
rename from src/planetarium/mit-scheme-x.scm
rename to src/planetarium/mit-x.scm