Abel Deuring 2013-05-02 proof script: prevent an exception when metadata.yaml has empty definitions of requires, provides or peers.