Title: Renaming a simple module
Goal: Rename the module `renmod4' to the new given name `newmod4'.
Parameters: [{file,"renmod4.erl"},{name,"newmod4"}].
Documentation: The given new name is a legal module name. There is no file name collision in the current directory. The module is renamed to the new name `newmod4'.
