AdminInterface: Changed the Applications Tab. It is now a single tab and consistent with the dashboard and collections. However i have not yet an idea what could useful filters
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel