Revert "DotCI support."

This reverts commit 681b6d6097fa7cc6b8c564a1110c5f0eec925e98.

Conflicts:
	bin/jenkins.sh
Add git in .dockerignore.
Merge pull request #21 from glogiotatidis/revert-dotci

Revert dotci