Added fetchFromGithub to server-side foxx manager. Makes it a lot easier to update an already installed foxx from aardvark
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel