Merged in feature/remove_jenkins (pull request #340)
Remove Jenkins related files
Update makefiles commit to point at version without Jenkins files
Â
Remove Jenkins related files
Update makefiles commit to point at version without Jenkins files
Â