changed docs progress view delay
removed download query button if current query is broken
added remove prog view button
bugfix: user extra attribuet now called userData
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel