Translated some more functions to proc.py

There are 4 functions I managed to translated from Minix. I'd like to point that the aproach used on the last one (mini_receive) to get rid of gotos (auxiliar function) was much better than the one used before (auxiliar variable and multible breaks) in my opinion. Please check my code for any kind of errors.