Add shell script for Jenkins build "distcheck"
Add shell script for Jenkins build with Valgrind
Remove old shell script for Jenkins build
Add Doxyfile

The file in this commit is the default configuration that was
auto-generated by doxygen.
Modify Doxyfile for Sesh
Add shell script for Jenkins doxygen build