Fix #149: Implement String.hashCode()