Add implementation for String.equalsIgnoreCase

Also adds parameter checks to String.compareTo and String.compareToIgnoreCase
so they throw a NPE when comparing to null.

Fixes #233