Porting tree-based hash table compression to GPGPU model checking

The GPU-based model checker GPUexplore uses a lockless hash table for the shared store of visited states in the model checking process. However, as GPU memory size is relatively limited and is now the bottleneck, we have implemented a stand-alone GPU version of an existent compression algorithm that uses this shared hash table and optimised this GPU version.