Finished describing algorithm

Today I finished fully describing the register allocation algorithm. Also, I discovered a little bug in the liveness analysis implementation. I will try to fix it tonight, or tomorrow morning. There is still one problem: which is the best way of coping with pre-colored registers?