hacks to make repl dir build

comment out repl_fun_altTheory and repl_computeTheory. the latter is
probably no longer necessary depending on how we set up the bootstrap:
currently thinking it should be a fold over compile_top.