Remove Jenkins scripts - SemanticDiff

Commit

6 years ago

Remove Jenkins scripts We haven't used Jenkins for a while, so it seems safe to remove the scripts that supported it.