rename compiler subdirectories, and add README file
rename theories under compiler/proofs

removed labelClosuresTheory since it was tiny and justifiably
incorporable in toBytecodeProofsTheory.
add README to compiler/proofs