New class LineCounter

Replaces the newline construction. Tests.
CharSequenceInputBuffer: use a LineCounter
Deprecate DefaultInputBuffer and IntArrayStack