Closes #4258

The kludge of pulling files from github no longer works now
that we have a build process, and since most people have their
own build pipeline now, I don't feel that supporting on-website
builds is that important anymore.

Closes #4255

Closes #4254

Closes #4253

This reverts commit 8a1dd160.

Issue #4123

Indentation should happen top-to-bottom so that subsequent
indents are based on the updated code above

Issue #4248

Closes #4248

Closes #4233

Closes #4214

Closes #4212

And don't block-comment inside a block comment

Closes #4208

Closes #4244

Closes #4018

Closes #4230

`Jenkinsfile` is used in Jenkins 2.0 for defining your pipeline as code.

See https://jenkins.io/doc/pipeline/jenkinsfile

Closes #4220

Issue #4217

Closes #4188

And hopefully get Travis to run our tests again

Closes #4206

Closes #4201

Closes #4190