Restored missing Int to Integer conversion codegens
Merge branch 'restored-itnative-codegen' of https://github.com/Ralith/Idris-dev into StrLenRegressionTest
Regression test for StrLen.
Merge pull request #388 from JanBessai/StrLenRegressionTest

StrLen regression test