ATS development environment 

Just a little environment to built ATS2 (and ATS2 contrib; untested) from github sources on NixOS.

GMP works.