split out compute_free_varsLib, put in compiler/proofs

The inclusion of compiler/proofs/free_varsTheory in
compiler/compute_compilerLib was a broken dependency since
compiler/proofs depends on compiler. Thus the free_vars compset can only
appear in the compiler/proofs directory.