Add Jenkins server link.
More info about autoupdating, the dev branch, and pavement.py
correct autoupdate tme
Created Runestone server details (markdown)