add CLIPSJNI library (x86 for 32-bits systems and x64 for 64-bit ones)