push($dir)
This method adds a directory to the end of the
SearchPath
.