Removes Jenkins configurations.

Public repo uses Travis-CI.