added forgotten LStrLen primitive and length function for String
Merge branch 'AddMissingStrLen' of https://github.com/JanBessai/Idris-dev into JanBessai-AddMissingStrLen

Conflicts:
	test/reg012/run