Update ElisKit.h to include more header files