Use user default encoding for editText (as editors follow locales for
        encoding)
Round to int as python 3 division no longer to do it by default and
return a float
Merge pull request #48 from digitalfox/python3-sqla

Use user default encoding for editText + fix rounding of urgency in bugutils