fix client-side caching of collections when using a mix of web interface and arangosh
adjust .gitignore
fixed caching of collections in arangosh for dropped collections