Cherry pick of "Merge branch '1.0-dmtcp' into '1.0'" into the master branch (!40) · Merge requests · atlas / atlasexternals · GitLab

Attila Krasznahorkay requested to merge cherry-pick-8e291b9f into master Apr 27, 2017

Introduced new external for DMTCP (tool for checkpoint-restart)

See merge request !35 (merged)