make the ghci script smarter
simplify the compilation queue

remove an unnecessary extra forkIO