#64: Add documentation on using Jenkins CI.

This creates a new doc page for setting up CI with GDT. First entrant, Jenkins.

Maybe we're approaching time for a docs/ or man/ subdirectory.

Fixes #64