fix typos in the documentation
specify the std abort function in C++ driver

This fixes a compile error in the C++ driver that occurs if the problem
function has any parameter named `exit', like problem #1965.
use jar(1) instead of zip(1) to create the jar file
change website url and bump version