split and move free_varsTheory

move most of it from compiler/proofs/ to compiler/

merge compute_free_varsLib into compute_compilerLib

let callLangProofTheory depend on free_varsTheory (rather than copying
code from it)

not tested beyond compiler/proofs (some other stuff may need to change
later in the build sequence)