fixed C extension, some crashes still due some problem with PyDict.

I did some benchmarks and I don't really understand why Storm has those
C extensions, it doens't seems to improve the speed of the library at
all.

I think I am goign to remove them as they don't ad any big optimization
improvement but maintenance problems.