Add len() and reverse() for String

[chrisaycock]

>>> len("")
0

>>> len("Hello")
5

>>> reverse("")
""

>>> reverse("Hello")
"olleH"

CC @psaris