Implement Directory.rename(). Minor changes as well.