Allow you to use int or str in state file.

Allow you to use int or str in state file for times section like :

    [('hp', '4'), ('vm-centos', '*'), ('vm-debian', '3'), ('kvm-test', '0')]

This patch ensure times is an int.

Traceback if you are using str without this patch :

    Traceback (most recent call last):
      File "/usr/lib/cgi-bin/upload.py", line 482, in &lt;module&gt;
        main()
      File "/usr/lib/cgi-bin/upload.py", line 426, in main
        names[idx] = (name, times - 1)
    TypeError: unsupported operand type(s) for -: 'str' and 'int'