update factorint.py: add int() to convert string to integer

also CRLF -> LF, tab -> space