Generated code should support Python 3

[xoltar]

Currently the example.idr builds and runs fine under Python2.7, but fails under python 3.

 $ python example.py                                                    [±stack ●]
Traceback (most recent call last):
  File "example.py", line 2997, in <module>
    runMain0()
  File "example.py", line 1415, in runMain0
    return EVAL0(APPLY0(_idris_Main_46_main(), None))
  File "example.py", line 1207, in APPLY0
    return _idris_io_95_bind(P_c0, P_c1, P_c2, P_c3, P_c4, arg0)
  File "example.py", line 316, in _idris_io_95_bind
    return APPLY0(io_bind2(e0, e1, e2, e3, e4, _idris_w), APPLY0(e3, _idris_w))
  File "example.py", line 1288, in APPLY0
    return io_bind1(P_c0, P_c1, P_c2, P_c3, P_c4, P_c5, arg0)
  File "example.py", line 1490, in io_bind1
    return APPLY0(io_bind0(e0, e1, e2, e3, e4, _idris_w, in0), _idris_w)
  File "example.py", line 1207, in APPLY0
    return _idris_io_95_bind(P_c0, P_c1, P_c2, P_c3, P_c4, arg0)
  File "example.py", line 316, in _idris_io_95_bind
    return APPLY0(io_bind2(e0, e1, e2, e3, e4, _idris_w), APPLY0(e3, _idris_w))
  File "example.py", line 1207, in APPLY0
    return _idris_io_95_bind(P_c0, P_c1, P_c2, P_c3, P_c4, arg0)
  File "example.py", line 316, in _idris_io_95_bind
    return APPLY0(io_bind2(e0, e1, e2, e3, e4, _idris_w), APPLY0(e3, _idris_w))
  File "example.py", line 1098, in APPLY0
    return _idris_Python_46_Functions_46__123__36__46_0_125_(P_c0, P_c1, P_c2, arg0)
  File "example.py", line 795, in _idris_Python_46_Functions_46__123__36__46_0_125_
    return _idris_call(e3, _idris_Python_46_Functions_46_strip(None, e2, e5))
  File "example.py", line 20, in _idris_call
    return f(*list(args))
TypeError: iter() returned non-iterator of type '_ConsIter'