Add geppetto infrastructure and update .gitignore
Add geppetto infrastructure; fix Modulefile dependencies; update .gitignore
Avoid managing apt key twice
Merge pull request #9 from DavidS/geppetto-fixes

Geppetto fixes