Remove now-unused function CVSPath.get_filename().