Arreglando varias cosas para alinear con karel.wasm

[lhchavez]

Este cambio:

• Cambia el tipo de datos del programa a uint32_t, para que se puedan tener brincos relativos de más de 32k entre los opcodes.
• Cambia el tamaño de la pila para que se pueda tener más de 52430 stack frames anidados.
• Mejora el parsing de los zumbadores, permitiendo 'INFINITO' en los montones (en vez de solo -1) y cambiando los NaNs por ceros.
• Simplifica un poco la información que se imprime en el modo de debug.