Return the master name of FILE. If the file is not registered, or the master name is not known, return nil.