Put cleared.txt for Belay+ in the right format
Cleared Renzelmann et al. OSDI 2012
Cleared Wang+ OSDI12 paper
Clear Wolinsky+ OSDI12 paper
Merge pull request #21 from ricci/master

Update one previously cleared paper, and clear three more