WebInterface: Apps can now be filtered by active/inactive/devel, also develapps now tell you that they are
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel