IMPORT (kilobyte): Rename the file for lemuel_castle.

 The new name follows the naming of other big vaults, and also is not as
 annoying with tab completion.