Some refinements of wukong

This merge request has several revision to original wukong.

Firstly, the build system has been optimized to automatically and reliably install dependencies of wukong. Example usage: git clone xxx --recursive; cd scripts; cmake ..; make ; // the dependencies will be installed & configured locally by cmake w/o corrupting user's configure files (e.g. .bashrc)

Files changed:

• CMakeLists.txt
• scripts/install_tbb.sh // a patch for installing fucking TBB
• scripts/run.sh // run script w/o corrupting files like .bashrc
• scripts/dependencies // new hints for syncdeps.sh

Secondly, some minor fixes in console.hpp

Files changed:

• core/console.hpp // add error handling

Finally, wukong has been adapted to RLib. Files changed:

• rdma_lib // removed
• rlib // a git submodule to RLib
• core/rdma.hpp // adapt to new code
• core/bind.hpp // add some hints to help select RNIC for each thread
• scripts/nic.bind // indicates the RNIC used at each socket. It's ok to ignore this

w 2 RNIC, performance improved ERROR% using sparql-emu -f query/lubm/emulator/mix_config