LazyIntDocVector

Sorry about all the commits, my master was a mess.  But the patch (see diff) will fix the serialization issue.