The Jump C++ Library