Add shell script for Jenkins build "dist"
Add shell script for Jenkins build "distcheck"
Add shell script for Jenkins build with Valgrind