Add diffBit into k-HDTCat

[ate47]

This pull request add the method diffBitCatHDT(HDTs, Bitmaps)

public static HDT diffBitCatHDT(List<String> hdtFileNames, List<? extends Bitmap> deleteBitmaps, HDTOptions hdtFormat, ProgressListener listener) throws IOException;

It was implemented by adding few things to k-HDTCat (#181)

First it will create 3 bitmaps per hdt to denote which components are deleted (s,p,o)

Then during the dictionary merge phase, it will ignore those elements.

When building the triples, it will pass by the mapped shared/subject twice to find first the shared elements and then the subject elements (because a shared can become a subject now)

This method is faster than the current HDTDiff and knowing k-HDTCat is also faster than HDTCat, a merge of those 2 methods can lead to reducing a lot of time in update (Cat+Diff) operations.

[D063520]

It's great, this will speed up things again! Nice contribution!