Replacing travis with own Jenkins for more build types.
Adding makefile that guess OS
Checkpoint update