./elefant install handles apps/themes as well as core
Added user agent to Github requests
Merge branch 'master' of github.com:jbroadway/elefant