Infinite loop performance improvements

Currently, infinite loops are really slow. Let's see some numbers:

>>> time.time()
1183595934.437341
>>> while 1:
...     pass
... 
>>> time.time()
1183595998.2189119
>>> 1183595998.2189119 - 1183595934.437341
63.781570911407471

In C (a bit faster)

$ cat > loop.c
int main() {
  while(1){}  
}
$ gcc loop.c 
$ time ./a.out 

real    0m43.487s
user    0m42.327s
sys     0m0.004s

Enhancement proposals

...